Solutions for the "Interactive Theorem Proving" course, UIBK SS 2015 - View it on GitHub