Stars
3
results
for source starred repositories
written in Agda
Clear filter
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Lecture notes on univalent foundations of mathematics with Agda