Hacker News new | ask | show | jobs
Univalent Mathematics: Symmetry Book (github.com)
3 points by symmetrist 1025 days ago