Poincaré Conjecture Formalized in Lean4

 (twitter.com)

2 points | by korbonits 8 hours ago ago

1 comments