Skip to content

Converted some automations to more manual proof for compilation speedup

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

Formalize Exercise 1.1.6 #427

Converted some automations to more manual proof for compilation speedup
56cf38f
Select commit
Loading
Failed to load commit list.