Seminar by Jaap Boender

On October 26, Jaap Boender gave a talk in the combined ToC/AI seminar, titled “Formalisation of a theory of packages in Coq”. This was an introduction to theorem proving in general and the Coq proof assistant in particular, through the formalisation of a simple theory of open source distributions, packages and the dependency and conflict relations between them.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!