Tutorial: Theorem Proving in Lean

leanprover.github.io/tutorial/index.html

Tutorial: Theorem Proving in Lean

Comments (0)

Sign in to post comments.