Varela Re-Entry Nucleus: Machine-checked formalization of self-referential re-entry as an honest Heyting algebra nucleus bridge. 11 Lean 4 modules, 972 lines, zero sorry.
nucleus formal-verification re-entry self-reference lean4 varela laws-of-form heyting-algebra eigenform machine-checked-proofs kauffman
-
Updated
Mar 26, 2026 - Lean