Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
main
branch
HangAtQed
full_subcat
ifspecies
main
monad_from_adjoint_factory
morphism
naturalisom
species
tag
Adjoint
Name
hivert's repositories
theories
.gitignore
CoqMakefile.conf
Makefile
README.md
_CoqProject