top
new
show
ask
jobs
about

100 theorems in Lean

leanprover-community.github.io

8 points by ggzor 10 hours ago