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 Mar 12, 2026
TeX

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 Mar 12, 2026
Lean

Improve this page

Add a description, image, and links to the fixed-point-theorems topic page so that developers can more easily learn about it.

Curate this topic

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly