Collection of prop-logic and FOL exercises solved in Coq
-
Updated
Dec 2, 2017 - Coq
Collection of prop-logic and FOL exercises solved in Coq
Add a description, image, and links to the fol topic page so that developers can more easily learn about it.
To associate your repository with the fol topic, visit your repo's landing page and select "manage topics."