Pure mathematics student in Paris and Cambridge.
- Cambridge
- https://www.nicknamed.org/
Block or Report
Block or report Nicknamen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
-
Topics_in_differential_geometry
Topics_in_differential_geometry PublicFormalizing differential geometry with Isabelle
Isabelle
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.