@kiwa-lab/lean
Lean 4 spec generator for lifecycle-orchestrator state machines. Compiles a transition table to a Lean 4 inductive type and a total dispatch function with no catch-all, so Lean’s exhaustiveness checker is what proves the table is complete, and a rejected
View on Github
Activity
- Latest release
- 2mo ago
- Total releases
- 6
- Cadence
- ~daily
- Last 12 months
- 6
Reach
- Stars
- —
Details
- License
- custom
- First release
- Jul 09, 2026
Releases