912 34 4364 6 22346 document 4364 agda-code.zip application/zip cea920e9c0effea39361a3552d9809aa MD5 1328198 2023-01-21 15:21:45 http://edata.bham.ac.uk/912/1/agda-code.zip 912 1 5 application/zip archive public cc_by_4

agda-code.zip

data 4368 6 22368 document 4368 agda-html.zip application/zip b701b821d90198d0756930b623e24c5c MD5 8478588 2023-01-25 10:57:38 http://edata.bham.ac.uk/912/2/agda-html.zip 912 2 4 application/zip archive public cc_by_4

agda-html.zip

data 4369 5 22371 document 4369 coq-code.zip application/zip b29319ec09019338af8d40d39e61f7b8 MD5 23147169 2023-01-25 10:58:05 http://edata.bham.ac.uk/912/3/coq-code.zip 912 3 3 application/zip archive public cc_by_4

coq-code.zip

data 4370 4 22376 document 4370 coq-html.zip application/zip e87c7d350d3e317b4196c9b324ce4e4c MD5 5867276 2023-01-25 10:58:10 http://edata.bham.ac.uk/912/4/coq-html.zip 912 4 2 application/zip archive public cc_by_4

coq-html.zip

data 4371 4 22386 document 4371 ReadMe.pdf application/pdf 25c370ca01ee8815242965734ded641d MD5 34784 2023-01-25 13:00:54 http://edata.bham.ac.uk/912/5/ReadMe.pdf 912 5 1 application/pdf text public cc_by_4

ReadMe.pdf

readme 4427 2 22805 document 4427 lightbox.jpg image/png 1f21b4f6683987be11757a4447a80bef MD5 19313 2023-03-31 13:17:30 http://edata.bham.ac.uk/912/6/lightbox.jpg 912 6 6 image/png other Thumbnails conversion from text to thumbnail_lightbox public

lightbox.jpg

data http://eprints.org/relation/isVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/isVolatileVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/islightboxThumbnailVersionOf http://edata.bham.ac.uk/id/document/4371 4428 2 22806 document 4428 preview.jpg image/png 69ae8b479fa1680b96d2ff5cc6c780bd MD5 8344 2023-03-31 13:17:31 http://edata.bham.ac.uk/912/7/preview.jpg 912 7 7 image/png other Thumbnails conversion from text to thumbnail_preview public

preview.jpg

data http://eprints.org/relation/isVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/isVolatileVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/ispreviewThumbnailVersionOf http://edata.bham.ac.uk/id/document/4371 4429 2 22807 document 4429 medium.jpg image/png 4d637395616cf29532f16ad15870e702 MD5 9397 2023-03-31 13:17:31 http://edata.bham.ac.uk/912/8/medium.jpg 912 8 8 image/png other Thumbnails conversion from text to thumbnail_medium public

medium.jpg

data http://eprints.org/relation/isVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/isVolatileVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/ismediumThumbnailVersionOf http://edata.bham.ac.uk/id/document/4371 4430 2 22808 document 4430 small.jpg image/png f2c623ccd4bddfd39f1587184a07878e MD5 1134 2023-03-31 13:17:32 http://edata.bham.ac.uk/912/9/small.jpg 912 9 9 image/png other Thumbnails conversion from text to thumbnail_small public

small.jpg

data http://eprints.org/relation/isVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/isVolatileVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/issmallThumbnailVersionOf http://edata.bham.ac.uk/id/document/4371 4431 1 22809 document 4431 indexcodes.txt text/plain e37aa399f4ce1a2183dca205860edb60 MD5 420 2023-03-31 13:18:03 http://edata.bham.ac.uk/912/10/indexcodes.txt 912 10 10 text/plain other Generate index codes conversion from text to indexcodes public

indexcodes.txt

data http://eprints.org/relation/isVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/isVolatileVersionOf http://edata.bham.ac.uk/id/document/4371 http://eprints.org/relation/isIndexCodesVersionOf http://edata.bham.ac.uk/id/document/4371 archive 404 disk0/00/00/09/12 2023-01-25 15:07:02 2025-07-18 10:38:49 2023-01-25 15:07:02 data_collection show De Jong Tom TXD880@bham.ac.uk 10col_ephy This deposit consists of formal proofs in Agda and Coq, together with the software libraries that these proofs depend on. Moreover, the HTML renderings of these proofs, generated for presentation and reading, are also included. The readme file has additional details describing each file. 2023-01-25 published University of Birmingham https://doi.org/10.25500/edata.bham.00000912 Software research-data@contacts.bham.ac.uk School of Computer Science na na na FALSE thesis http://etheses.bham.ac.uk/id/eprint/13401 IsSupplementTo