Material #1
inThe Power of CPCTC

A worksheet introducing the CPCTC logic chain through a surveyor's river-crossing scenario and multi-step formal proof practice.

Similar Materials