Skip to content

Milestone 3.1: Delete Obsolete Code#110

Open
mekeor wants to merge 9 commits into
masterfrom
milestone-03-01-delete-obsolete-code
Open

Milestone 3.1: Delete Obsolete Code#110
mekeor wants to merge 9 commits into
masterfrom
milestone-03-01-delete-obsolete-code

[mode] Delete lean4-std-exe in favor of equal lean4-execute

bb83235
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar