Skip to content

Migrating alpha file import to lean + adding testing - #1552

Merged
jstoobysmith merged 11 commits into
leanprover-community:masterfrom
FergusMunro:migratingAlphaFileImportToLean
Aug 21, 2026
Merged

Migrating alpha file import to lean + adding testing#1552
jstoobysmith merged 11 commits into
leanprover-community:masterfrom
FergusMunro:migratingAlphaFileImportToLean