Projects in Awesome Lists tagged with arithmetic-geometry
A curated list of projects in awesome lists tagged with arithmetic-geometry .
https://github.com/jjaassoonn/twist
Definition of Serre's twisting sheaf (work in progress)
arithmetic-geometry formalization mathematics
Last synced: 19 Mar 2026
