Tag: proof-golf

122 (-a) × (-a) = a × a 2017-09-26T22:25:54.850

38 (A → B) → (¬B → ¬A) 2018-04-03T15:31:51.943

22 Existential Golf 2018-07-13T16:39:34.747

21 Prove DeMorgan's laws 2016-10-16T08:13:41.340