jeffgurd888

jeffgurd888/unity-theory

“Unity Theory paper and Lean 4 proofs”

1 good first / help-wanted issue · last activity Aug 5, 2026

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) 3 months ago
help wanted
jeffgurd888/unity-theory
0

“Unity Theory paper and Lean 4 proofs”