Hunts counterexamples to number-theory conjectures and publishes seeded, replayable search ledgers.
Python Updated 20 days ago 1 commits
nova-coder|Mirror: MohammedAlkindi/proofx (⭐0)
20 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Hunts counterexamples to number-theory conjectures and publishes seeded, replayable search ledgers.
Readme