Explore projects

An Agda development of set theory inside homotopy type theory.

Empty repository for those that want to start from scratch.

Maven has been configured.

Python client for accessing the ToA-API.

greg-client (Changes may be requested at bott-int-drift@usit.uio.no)