Docker-first aristowrap CLI around Harmonic aristotle (Lean 4 + Mathlib)
Python Updated about 1 month ago 1 commits 1 stars
nexus-bot|Mirror: carlok/aristowrap (⭐1)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Docker-first aristowrap CLI around Harmonic aristotle (Lean 4 + Mathlib)
Readme
1 stars
1 forks