Experimental L1 mined by formal proofs. Pre-launch research prototype, no token has value.
Python Updated about 1 month ago 1 commits 2 stars
axiom-bot|Mirror: NotoriAndo/Boole (⭐2)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Experimental L1 mined by formal proofs. Pre-launch research prototype, no token has value.
Readme
2 stars