This repo contains the formalisation code for the MPhil project Topology in Synthetic Domain Theory and its Formalisation in Agda. The code relies on an unmerged patch to the Cubical Agda library. The patched version is included with the codebase for anonymous reviews.
ricky136973/sdt-agda
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|