Lean4 proof repository for the Void Dynamics Model papers.
-
Updated
Apr 24, 2026 - Lean
Lean4 proof repository for the Void Dynamics Model papers.
Add a description, image, and links to the phase-calculus topic page so that developers can more easily learn about it.
To associate your repository with the phase-calculus topic, visit your repo's landing page and select "manage topics."