Explore >> Select a destination
|
You are here 
|
benjamincongdon.me | ||
| | | | |
kevinkle.in
|
|
| | | | | I modeled solving a Sudoku board as a graph problem. | |
| | | | |
imapenguin.com
|
|
| | | | | Three maze generators on the Commodore 64 | |
| | | | |
probablydance.com
|
|
| | | | | Doing mathematical proofs is kinda fun. Unfortunately they only make you do a few fun ones in school, then they get frustrating and tedious. So I have long been looking for a game that is about doing mathematical proofs. Euclidea was good, but eventually runs into the same problem as the hard proofs you do... | |
| | | | |
www.logicmatters.net
|
|
| | | The task is to set proof-trees in the style of the tree alongside, i.e. tableaux of the sort that appear in e.g. Richard Jeffrey's classic Formal Logic or the first edition of my own Introduction to Formal Logic. A very flexible package, allowing you also to add line numbers (if you want) and line-by-line justifications [...] | ||
