Update 3.tex. ex0 text was using \wedge instead of \vee. modified to reflect... (!1) · Merge requests · Katie Casamento / Formal Proof Foundations Fall 2022

The source project of this merge request has been removed.

Update 3.tex. ex0 text was using \wedge instead of \vee. modified to reflect what is in the code3.agda file.

Update 3.tex. ex0 text was using \wedge instead of \vee. modified to reflect...