search

kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

3.4. Inference Rules - Typo #43

Open sm4sa opened 1 year ago

sm4sa commented 1 year ago

"Grasp the sense of each rule clerly." Should be clearly.