reversible-circuits

Here is 1 public repository 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

Improve this page

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

reversible-circuits

Here is 1 public repository matching this topic...

Abraxas1010 / computational-no-coincidence

Improve this page

Add this topic to your repo