Gitstar Ranking

willcrichton / theorem_proving_in_lean4

Theorem Proving in Lean 4, with quizzes! - View it on GitHub
https://westluke.github.io/theorem_proving_in_lean4/
Star
0
Rank
11463653