#
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
Improve this page
Add a description, image, and links to the physlib topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the physlib topic, visit your repo's landing page and select "manage topics."