Ismail S

Final Year Uni Project

During my final year at university, I did a project on learning to use Coq and rewriting some proofs from the Coq standard library. I produced a report and did a presentation. See the links below for the files.


Creative Commons License
Computer-certified proofs by Ismail S is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.