Martin Escardo's truncation.

UniMath / Schools

77 stars 21 forks source link

Closed andrejbauer closed 5 years ago

andrejbauer commented 5 years ago

I am not sure I put this in the correct folder, feel free to tell me where to move it.