i13e's submissions

Lean (leanprover.github.io)

1 pts| 2 years ago | discuss

page 1