nucleus-operators

Here are 2 public repositories matching this topic...

Abraxas1010 / computational-no-coincidence

Formal verification framework for Neyman's Computational No-Coincidence Conjecture in Lean 4 — advice strings as Heyting algebra nucleus operators on reversible circuits

formal-verification computational-complexity lean4 heyting-algebra reversible-circuits nucleus-operators

Updated Mar 15, 2026
Lean

Abraxas1010 / homotopy-tower-stabilization

Star

Formally verified nucleus tower stabilization on frames with infinity-groupoid bridge. 23 theorems, 9 modules, ~977 lines of Lean 4. Zero sorry. Proposed by Adam Morgan (@2ndAlphasapien).

category-theory homotopy-theory formal-verification heyting-algebras lean4 nucleus-operators infinity-groupoids kan-complexes

Updated Mar 18, 2026
Lean

Improve this page

Add a description, image, and links to the nucleus-operators 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 nucleus-operators 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