UniMath/SymmetryBook

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

3 best points · 0 comments · 1 Hacker News post · 452 GitHub stars · View on GitHub

Hacker News discussions

• Univalent Mathematics: Symmetry Book (3 points, 0 comments, by symmetrist, 2023-09-04)