fixed-point-theorems

Here are 3 public repositories matching this topic...

Project-Navi / navi-creative-determinant

A field theory of coherence: autopoietic closure as a nonlinear elliptic BVP on a compact Riemannian manifold, with existence conditions, spectral viability thresholds and falsifiability criteria. Lean 4 formalization: cd-formalization.

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

Updated Oct 24, 2026
Jupyter Notebook

Project-Navi / cd-formalization

Sponsor

Star

Lean 4 + Mathlib existence theory for the Creative Determinant boundary value problem: positive solutions fully proved on finite weighted graphs; continuum results conditional on explicit, documented elliptic hypotheses.

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