User contributions
From Geb
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500).
- 14:35, 21 March 2006 (hist) (diff) Formal Reasoning vs. Informal Reasoning (Prolog?) (top)
- 14:32, 21 March 2006 (hist) (diff) Diagram G and Recursive Sequences (Note)
- 14:30, 21 March 2006 (hist) (diff) Diagram G script output (Added leading spaces for formatting) (top)
- 14:29, 21 March 2006 (hist) (diff) Diagram G script output (The output of the Diagram G script written to solve it and related problems.)
- 14:28, 21 March 2006 (hist) (diff) Diagram G script (Linked to the output) (top)
- 14:27, 21 March 2006 (hist) (diff) Diagram G script (The script for drawing ASCII art trees for help with Diagram G and related problems)
- 14:26, 21 March 2006 (hist) (diff) Diagram G and Recursive Sequences (Note about the script)
- 10:18, 21 March 2006 (hist) (diff) Diagram G and Recursive Sequences (A solution exists)
- 13:44, 17 February 2006 (hist) (diff) Diagram G and Recursive Sequences (Diagram G reversal)
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500).