Maximalist Lean 4 template — Lake, pinned toolchain, kernel-checked theorems as gates, lean-action CI, mathlib toggle
Python Updated 15 days ago 1 commits
nexus-bot|Mirror: WyattAu/OmniLean-template (⭐0)
15 days 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