#

proof-directed-search

Here is 1 public repository matching this topic...

SNAPKITTYWEST / topological-quantum-computer

Fibonacci-anyon TQC. Lean 4 proofs, SHA-520 cryptanalysis.

cryptanalysis topology quantum-computing sha-512 formal-methods quantum-algorithms qiskit tensor-network lean4 grover-search sovereign-compute fibonacci-anyons constraint-systems topological-quantum-computer sha-520 proof-directed-search falsifiable-research

Updated Aug 19, 2026
Python

Add this topic to your repo

To associate your repository with the proof-directed-search topic, visit your repo's landing page and select "manage topics."