kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

Chapter 3: Propositions contain proofs, but why is that the case? I think that needs to be further explained because we just assume that propositions contain proofs. #28

Open nehakrishnakumar opened 1 year ago