Live and recent posts from across the Fediverse tagged #100theorems, aggregated by home.social.
#100theorems
100 theorems in Lean
https://leanprover-community.github.io/100.html
#HackerNews #100theorems #Lean #TheoremProver #Mathematics #Proofs