top
new
show
ask
jobs
about

100 theorems in Lean

leanprover-community.github.io

11 points by ggzor 2 months ago