search

UniMath / Schools

77 stars 21 forks source link

lecture 2: replace \^ by ^ #17

Closed benediktahrens closed 5 years ago

benediktahrens commented 5 years ago

done in #21, closng