| Date | Name | Who | What |
|---|---|---|---|
| 2013-03-05 02:01:07 | a little proving engine | pooryorick | reference |
| 2011-05-04 07:04:34 | Boolean | oehhar | reference |
| 2018-04-29 07:41:09 | Boolean Functions and Cellular Automata | dbohdan | reference |
| 2012-05-18 21:14:14 | Disjunctive Normal Form | RLE | reference |
| 2019-08-11 16:46:30 | RS | pooryorick | reference |