Project Guidelines (due date April 22, 2019)

Date: 22 April 2019

Since the official timing of the final examination for the course is “Monday : April 22 Afternoon” according to the SCC’s timetable, I will tag the final submission at 5:00 pm on Monday, April 22. 2019. For questions, clarifications and comments, please comment at the corresponding issue.


The goals of the project are to illustrate the integration of computation and proof in Dependent Type Theory.

Rules and Criteria

Final Submission guidelines.