Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool