Search for tag: "unsound"

CL - Lecture 3e - Constructing a Counterexample

In the last video, we showed a rule is sound…

+26 More
From  Haoran Peng 0 likes 508 plays 0