GitHub repository: leanprover/cmu-15815-s15
Primary language: JavaScript
Description: CMU 15-815 Spring 2015 : Interactive Theorem Proving