jeffgurd888

jeffgurd888/unity-theory

“Unity Theory paper and Lean 4 proofs”

0 stars 0 forks 0 watchers
View on GitHub
1 Open Issue Need Help Last updated: Aug 5, 2026

Open Issues Need Help

View All on GitHub
Help requested: Formalizing Thet systems (Lean / Mathlib4) about 2 hours ago
help wanted
jeffgurd888/unity-theory
0

“Unity Theory paper and Lean 4 proofs”