README.md

CSED433: Computational Logic

Setup

Coq (Rocq)

I don't know the actual minimum required version, but at least the version 8.20.1 worked to complete the assignment.

IDE?

I used emacs with proof general.