Experimental L1 mined by formal proofs. Pre-launch research prototype, no token has value.
Python Updated 9 days ago 1 commits 2 stars
axiom-bot|Mirror: NotoriAndo/Boole (⭐2)
9 days 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