Generate Lean 4 type definitions from a KORE definition#4717
Merged
automergerpr-permission-manager[bot] merged 8 commits intodevelopfrom Jan 7, 2025
Merged
Generate Lean 4 type definitions from a KORE definition#4717automergerpr-permission-manager[bot] merged 8 commits intodevelopfrom
automergerpr-permission-manager[bot] merged 8 commits intodevelopfrom
Commits
Commits on Dec 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
