#
physlib
Here are 3 public repositories matching this topic...
Lean 4 formalization of fundamental physics: PPN metric, LLI satellite bounds (SaToR-G), and Quantum Mechanics in Hilbert spaces.
physics quantum-mechanics formal-verification general-relativity calculus-of-variations analytical-mechanics euler-lagrange lean4 action-principle mathlib4 physlib ppn-formalism
-
Updated
Aug 1, 2026 - Lean
DST-Vault / TDI Loop Quantum Gravity: Formal verification of gravitational wave constraints and entropy area law corrections in Lean 4
gravitational-waves theoretical-physics formal-verification quantum-gravity spin-foam lean4 loop-quantum-gravity mathlib4 black-hole-entropy physlib
-
Updated
Aug 3, 2026 - Jupyter Notebook
Add this topic to your repo
To associate your repository with the physlib topic, visit your repo's landing page and select "manage topics."