goksyli/software_foundations

My solutions to Software Foundations course in Coq proof assistant.

My solutions for Software Foundations course in Coq proof assistant.

Version 4.2 (Spring, 2017)