This repository is not active
NickBurrell/Software-Foundations
Solution set to the Software Foundations Series, Vol. 1: Logical Foundations
Coq
Solution set to the Software Foundations Series, Vol. 1: Logical Foundations
Coq
This repository is not active