Skip to content

Remove redundant C compilers in dev shell

c3cee8b
Select commit
Loading
Failed to load commit list.
Merged

chore: Update Lean to v4.23.0 #21

Remove redundant C compilers in dev shell
c3cee8b
Select commit
Loading
Failed to load commit list.