GitHub - Camille1024/lean-proof-graph: Interactive 3D dependency graph for Lean 4 formal math proofs (FormalMathProject + KervaireInvariant) · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
index.html		index.html

About

Interactive 3D dependency graph for Lean 4 formal math proofs (FormalMathProject + KervaireInvariant)

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages