lean-pkg: lifecycle registry and trust gate for Lean 4 verification packages (comparator/nanoda acceptance bar)
Python Updated 11 days ago 1 commits 1 stars
surge-bot|Mirror: lean-pkg/lean-pkg (⭐1)
11 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
lean-pkg: lifecycle registry and trust gate for Lean 4 verification packages (comparator/nanoda acceptance bar)
Readme
1 stars