CS3234 Logic for Proofs and Programs

This is a course I took under Professor Olivier Danvy in AY23/24 at the School of Computing, NUS.

I've kept some of the programs written here for easy access. I'll try to upload the reports we wrote once the course is over.

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
midterm		midterm
week-10		week-10
week_06		week_06
README.md		README.md
another-question-for-Sanjay-Adhith.v		another-question-for-Sanjay-Adhith.v
flatten.v		flatten.v
week-05_mystery-functions.v		week-05_mystery-functions.v
week-07_isometries3.v		week-07_isometries3.v
week-08.v		week-08.v
week-08_more-tactics.v		week-08_more-tactics.v
week-08_uniqueness-of-the-quotient-and-remainder.v		week-08_uniqueness-of-the-quotient-and-remainder.v
week-09_exercise_2.v		week-09_exercise_2.v
week-09_formalizing-summations.v		week-09_formalizing-summations.v
week-09_formalizing-two-by-two-matrices.v		week-09_formalizing-two-by-two-matrices.v
week-09_formalizing-two-by-two-matrices.v~		week-09_formalizing-two-by-two-matrices.v~

Provide feedback