Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
11 check-ins
|
2020-05-26
| ||
| 13:10 | Prove a few things and get stuck Leaf check-in: 17ea54ac1b user: bergwerf tags: trunk | |
|
2020-05-23
| ||
| 20:46 | Add common knowledge deduction system check-in: d2bb3b3d2d user: bergwerf tags: trunk | |
|
2020-05-19
| ||
| 14:18 | Refactor deduction system check-in: f3e2096b0d user: bergwerf tags: trunk | |
|
2020-05-18
| ||
| 22:39 | Remove a priori knowledge and add taut check-in: 013ab8104c user: bergwerf tags: trunk | |
| 21:43 | Add ideas about a priori knowledge check-in: 529e4b31f6 user: bergwerf tags: trunk | |
|
2020-05-17
| ||
| 23:55 | Remove old islander puzzle files check-in: a3b1606702 user: bergwerf tags: trunk | |
| 23:49 | Add Dynamic Epistemic Logic for islanders puzzle check-in: c0f18ee447 user: bergwerf tags: trunk | |
|
2020-05-16
| ||
| 22:55 | Add two attempts at epistemological logic check-in: 3c1493a881 user: bergwerf tags: trunk | |
| 22:55 | Remove blue_eyes.v check-in: d519725292 user: bergwerf tags: trunk | |
|
2020-05-12
| ||
| 16:06 | Initial commit check-in: 05b6f69b7d user: bergwerf tags: trunk | |
| 16:01 | initial empty check-in check-in: 990b59c7b9 user: bergwerf tags: trunk | |