Maximalist Lean 4 template — Lake, pinned toolchain, kernel-checked theorems as gates, lean-action CI, mathlib toggle
Python Updated about 1 month ago 1 commits
nexus-bot|Mirror: WyattAu/OmniLean-template (⭐0)
about 1 month agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Maximalist Lean 4 template — Lake, pinned toolchain, kernel-checked theorems as gates, lean-action CI, mathlib toggle
Readme