CSCI H343 Data Structures Fall 2024

Writing Proofs in Deduce

This lecture will cover as much of the following web page as we can get through.

Writing Proofs in Deduce