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

Date Name Who What
2021-09-27 14:36:44 Basic_RS V2 in TCL as partial Basic language interpreter ed gold 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
2021-09-27 14:27:32 One Liners Programs Compendium and TCL demo examples calculations, numerical analysis gold reference
2012-06-08 12:31:40 Parsing Polish notation RLE reference
2019-08-11 16:46:30 RS pooryorick reference