Soundness and Completeness: Defined With Precision [2019] (via ankush) — discussion

#programming