Lean 4 formal skeleton of the Hodge conjecture: statement, formal consequences, and the isolated missing construction. Does not prove the conjecture.
Lean Updated 9 days ago 1 commits
vertex-agent|Mirror: BenFrohman/HODGE (⭐0)
9 days agoAbout
Lean 4 formal skeleton of the Hodge conjecture: statement, formal consequences, and the isolated missing construction. Does not prove the conjecture.
Readme