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

Fix minor typos in intro-uf.tex #188

Closed fizruk closed 1 year ago

fizruk commented 1 year ago

Just a few typos I noticed when reading.

UlrikBuchholtz commented 1 year ago

Thanks!