GitHub / martinescardo / HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/martinescardo%2FHoTT-UF-Agda-Lecture-Notes
PURL: pkg:github/martinescardo/HoTT-UF-Agda-Lecture-Notes
Stars: 227
Forks: 20
Open issues: 1
License: gpl-3.0
Language: Agda
Size: 5.8 MB
Dependencies parsed at: Pending
Created at: over 6 years ago
Updated at: 3 months ago
Pushed at: over 1 year ago
Last synced at: 3 months ago
Topics: agda, dependent-types, function-extensionality, homotopy-type-theory, hott-uf, lecture-notes, martin-lof-type-theory, mltt, propositional-truncation, type-theory, univalence-axiom, univalent-foundations, univalent-mathematics, univalent-type-theory