Marginis is a curated collection of formalized mathematical proofs that is intended to supplement published articles in the Journal of Logic and Analysis and other professional mathematics journals.

Useful links:

• Submit your work to Marginis
• Blueprint
• Blueprint as pdf
• Dependency graph
• Doc pages for this repository