fixed-point-theorems

Here are 2 public repositories matching this topic...

Project-Navi / navi-creative-determinant

The Creative Determinant: autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold, with Lean 4-verified existence conditions (15 theorems, zero sorry)

cognitive-science dynamical-systems pde formal-verification ai-safety interpretability mathematical-modeling mathlib semiotics autopoiesis lean4 elliptic-pde fixed-point-theorems

Updated Jun 8, 2026
Jupyter Notebook

Project-Navi / cd-formalization

Sponsor

Star

Lean 4 + Mathlib formalization of the Creative Determinant framework — 15 theorems proved with zero sorry, CI-enforced via lake build --wfail

theorem-proving pde formal-verification mathlib autopoiesis lean4 elliptic-pde fixed-point-theorems

Updated May 19, 2026
Lean

Add this topic to your repo

To associate your repository with the fixed-point-theorems topic, visit your repo's landing page and select "manage topics."

Learn more