search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
398 stars 23 forks source link

garbled text #160

Open DanGrayson opened 2 years ago

DanGrayson commented 2 years ago

In the following text:

Screenshot 2022-11-24 at 8 13 42 AM

we confusingly say "we defined" instead of "the goal is to construct", and then the letter g does not appear in the construction.