References to, includes from, and redirects to a little proving engine

Date Name Who What
2024-02-28 20:38:48 Basic_RS V2 in TCL as partial Basic language interpreter ed gold8888 reference
2012-05-26 04:35:32 Integers as Boolean functions RLE reference
2012-06-04 02:02:18 More graph theory RLE reference
2014-05-10 06:20:46 NAND pooryorick reference
2024-03-28 11:43:52 One Line Proc Follow up V7 gold reference
2024-03-06 11:43:34 One Line Procedures Follow-up and Templates V6 and TCL 8.6 demo examples calculator, numerical analysis gold7777 reference
2024-03-28 17:17:39 One Line Procs Compendium V4 gold reference
2012-06-08 12:31:40 Parsing Polish notation RLE reference
2019-08-11 16:46:30 RS pooryorick reference