EPIT-2020 icon indicating copy to clipboard operation
EPIT-2020 copied to clipboard
verified publisher icon HoTT

Another set of solutions

Open MevenBertrand opened this issue 4 years ago • 0 comments

Including a solution for the last exercise (using quite a few lemmas from the library though).

MevenBertrand avatar Apr 15 '21 07:04 MevenBertrand