11
Introduction to Univalent Foundations of Mathematics with Agda
source link: https://homotopytypetheory.org/2019/03/20/introduction-to-univalent-foundations-of-mathematics-with-agda/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Introduction to Univalent Foundations of Mathematics with Agda
I am going to teach HoTT/UF with Agda at the Midlands Graduate School in April, and I produced lecture notes that I thought may be of wider use and so I am advertising them here.
The source files I used to generate the above html version of the notes are available at github, so that questions, issues and pull requests for fixes, improvements and feature requests are publicly available there.
This entry was posted in Uncategorized. Bookmark the permalink.
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK