jscarfy

Pinned Repositories

HoTTEST-Summer-School
HoTTEST Summer School materials
Language:HTML00
math
Mathematics
00
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq00

jscarfy's Repositories

jscarfy/HoTTEST-Summer-School
HoTTEST Summer School materials
Language:HTML00
jscarfy/math
Mathematics
00
jscarfy/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Language:Coq00