Friday, March 13, 2026

Assignment #6: Formal Methods II: Categorical Logic

1. Read Van Cleave, section 2.14; do exercise set 18.

2. Read 2.17; do exercise set 21.





















No comments:

Post a Comment