@techreport{corbyn_proof-synthesis,
    author = {Nathan Corbyn},
    title = {{Proof Synthesis with Free Extensions in Intensional Type Theory}},
    year = {2021},
    institution = {University of Cambridge},
    note = {{ME}ng Dissertation},
    date-added = {2025-12-12 9:0:11 +0100},
    date-modified = {2026-1-6 9:3:36 +0100},
    nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/corbyn_proof-synthesis/}
}

@techreport{corbyn_proof-synthesis, author = {Nathan Corbyn}, title = {{Proof Synthesis with Free Extensions in Intensional Type Theory}}, year = {2021}, institution = {University of Cambridge}, note = {{ME}ng Dissertation}, date-added = {2025-12-12 9:0:11 +0100}, date-modified = {2026-1-6 9:3:36 +0100}, nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/corbyn_proof-synthesis/} }