Poincaré Conjecture Formalized in Lean4

2 points | by korbonits an hour ago

No comments yet