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.