Cs 2800 Spring 2025. Covers the mathematics that underlies most of computer science. Please download it and install it on your machines, using the instructions from the first lab.
Each time a new chapter is unlocked, i will add an entry in the table below. We then use the acl2s language to formally.