Skip to content

Clean up Gen.lean: rename variable, use getCategoryOpIdent, add impor…

4d2bbc3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Convert DDM files to Lean 4 modules and fix mkScopedIdent for module support #431

Clean up Gen.lean: rename variable, use getCategoryOpIdent, add impor…
4d2bbc3
Select commit
Loading
Failed to load commit list.