willcrichton/theorem_proving_in_lean4 - Gitstar Ranking

willcrichton

Fetched on 2025/03/15 18:02

Theorem Proving in Lean 4, with quizzes! - View it on GitHub

https://westluke.github.io/theorem_proving_in_lean4/

Star

0

Rank

12125866