AI4Maths / awesome-interactive-theorem-prover Star 23 Code Issues Pull requests A curated list of awesome interactive theorem prover frameworks math mathematics formalization formal-verification formal-mathematics interactive-theorem-proving interactive-theorem-prover Updated Jun 19, 2026
LoganEvans / chiral-gauge-dynamics Star 1 Code Issues Pull requests Discussions A formalized Lean 4 proof that Quantum Mechanics and General Relativity emerge from a classical Spin(4, C) gauge connection. quantum-mechanics theoretical-physics formal-verification general-relativity dark-matter mathematical-physics gauge-theory lean4 topological-solitons interactive-theorem-prover Updated Aug 5, 2026 Lean
AEjonanonymous / Einstein-Quasicrystals Star 1 Code Issues Pull requests A Lean 4 Certified Proof of 3D Aperiodic Einstein Quasicrystals by Triviality of the Projection Kernel. research mathematics discrete-mathematics computational-geometry formal-verification delaunay-triangulation discrete-geometry mathlib quasicrystal projection-matrix academic-research de-bruijn lean4 aperiodic-monotile quasicrystals einstein-tile hat-tiling interactive-theorem-prover meyer-set trivial-kernel Updated Aug 10, 2026 C++