Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
125
stars
15
forks
source link
Fix missing definition in solutions for quest 0 #9
Closed
russellmcc closed 2 years ago
Thanks for this! Pulled :-)