1. 19
    Lean Theorem Prover ☶ math leanprover.github.io
    zedoary avatar via zedoary 2 years ago | cached | no comments

They’ve got a nice online tutorial.

  1.