| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add second objection.HEADmaster | Kaz Kylheku | 2015-01-28 | 1 | -1/+51 |
| * | Fix (program, input) argument list to (input, input). | Kaz Kylheku | 2015-01-28 | 1 | -1/+1 |
| * | Substantial revision. | Kaz Kylheku | 2015-01-28 | 1 | -68/+99 |
| * | Fixed error in pseudo-code comment. | Kaz Kylheku | 2015-01-25 | 1 | -1/+1 |
| * | Wording improvements.halt3-1.6 | Kaz Kylheku | 2015-01-15 | 1 | -12/+14 |
| * | Adding proof sketch. | Kaz Kylheku | 2015-01-15 | 1 | -0/+287 |
 |
index : halt3 | |
| Stuff related to the three-value halting problem. | kaz@kylheku.com |
| summaryrefslogtreecommitdiffstats |
path: root/proof-sketch.txt