Stars
4
stars
written in Agda
Clear filter
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Experiments in formalizing and specifying computer systems with Agda