Stars
4
results
for source starred repositories
written in Agda
Clear filter
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Categories parametrized by morphism equality, in Agda
Library for proving propositions quantified over finite sets
Artefact supporting our PEPM21 short paper submission