Lean4 proof repository for the Void Dynamics Model papers.
-
Updated
Apr 24, 2026 - Lean
#
phase-calculus
Here are 2 public repositories matching this topic...
Research-derived mathematics and scientific computing tools from Neuroca, including numerical methods, exact algebra, dynamical systems, VDM, and Phase Calculus.
python rust topology algebra graph-algorithms information-theory mathematics vdm computational-mathematics scientific-computing dynamical-systems numerical-methods nonlinear-dynamics pde symbolic-math research-software exact-arithmetic void-dynamics-model neuroca-ai phase-calculus
-
Updated
Sep 8, 2026 - Python
Add this topic to your repo
To associate your repository with the phase-calculus topic, visit your repo's landing page and select "manage topics."