De Jong, Tom (2023) Formal proofs supporting the thesis "Domain Theory in Constructive and Predicative Univalent Foundations".
Dataset Details
| Data creator(s): |
|
||||||
|---|---|---|---|---|---|---|---|
| Research Data Type: | Software | ||||||
| DOI: | https://doi.org/10.25500/edata.bham.00000912 | ||||||
| Publisher: | University of Birmingham | ||||||
| Managing organisational unit: | Colleges (2008 onwards) > College of Engineering & Physical Sciences | ||||||
| UoB School, Department or Institute: | School of Computer Science | ||||||
| Date: | 25 January 2023 |
Available Files
Data
coq-html.zip |
coq-code.zip |
agda-html.zip |
agda-code.zip |
Read me
ReadMe.pdf |
Administer Item