179 Mathematics is fact. Programming is not 2017-02-06T08:54:16.077

59 Count trailing truths 2016-11-06T12:35:56.947

50 Alex is sometimes right 2015-10-22T18:27:21.787

47 Be the First 1 (leave only the first Truthy) 2017-05-07T20:28:45.733

45 Are Pigs able to fly? 2014-08-02T16:38:21.783

45 Run Stackylogic 2016-07-08T04:39:52.460

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

36 Automate your first grade counting exercise 2017-01-31T09:18:23.483

22 Prove me wrong! 2016-06-30T13:03:48.873

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

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

19 Invert a boolean array 2016-09-15T10:50:45.677

17 Given a truth table, output a Stackylogic program that satisfies it 2016-07-21T23:14:53.680

16 Gerrymandering with Logic Gates 2018-01-19T04:44:17.630

12 Combinatory Conundrum! 2017-01-07T14:48:55.020

10 Convert a logical expression to conjunctive normal form 2017-01-31T05:49:29.823

8 Solving variants of the blue-eyes puzzle 2016-02-15T12:38:22.860

7 How secure are my locks? 2016-08-23T08:51:42.510

7 Quickly Prove Me Wrong! 2017-07-07T18:41:40.067

7 Generate random LTL Formulae 2017-10-20T10:24:29.287

3 How's your string theory? 2015-10-25T18:33:50.973

2 Skip or delete lines between two keywords in a file using python 2017-04-30T09:29:14.443

1 3-inverter with two NOT gates 2018-06-18T12:09:40.547

0 Cheeky bus driver 2017-04-13T15:06:57.323