From 89e064e20c99f98072af0632f050b7b2df3233ba Mon Sep 17 00:00:00 2001 From: James Oswald Date: Sat, 16 Dec 2023 22:03:43 -0500 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b44eef1..da614c7 100644 --- a/README.md +++ b/README.md @@ -8,7 +8,8 @@ It is influenced by the commercial Hyperslate Proof Assistant which has many mor ## Sample Proofs Some basic tautologies: -[A -> A, (A /\ B) => (B /\ A), (A /\ (A -> B)) -> B](https://rairlab.github.io/lazyslate/?proof=N4Igdg9gJgpgziAXAbVASykgDAGnAQwFsYkQsQ8YAPABwCd440IxSBBCkAKwFc4AXNADM0AY3yCWpfHDg9inGhCaTWiUFSQAWAOwBWPAE8kAJjMBfcznSZEARjxgiJRCACSQgARtP%2DABb4YN6c1PSMzGogABTC3t4AlJy8AsJiEhGkwm6KymiqSBraWiZGSADMAJwAbJbWIBimjs6kJiG0DLIZrlGBUHEAQol4yYIi4vmuMnIKeEoqXYWIABxluCDGiCZ2JrU25U0KrmVtYZ1S3b2e%2DQlJfKNpEyC92bO5E4tLWg7rSHp2S7t6rYtAcXCAtCcOkxziAOMM7qlxl0nmAoABRHLzc6LHRVEE%2DRBlKo7Kx7RAGAiHEB6SHhGH9W4pMbpGG9DGvLFqRYVExLUqEvRaQENRBVUGkADCEEIhB4%2DHSADcYJ4pWBeGBRKoEJR2nTIjEvD1UQN4p4jX1rmx4kNuAjmY8spi8gsQJpEDpdPyqjoKsLbDpxa4dLSzvrLj4DSabSNESzIlN5CQOc7sa6kHYyiY1hss1g%2DUg+ZSwUsQ9DInDbUyHsi2U73mn7CYqmV+WU9L7SUCkBVAyAKqXkZGfINGfckazUeyQHMU1yG3YtFoWwS22V8%2DY1k4qXZyDrTmXSAz4VXx5FhFOZ%2DW3RmdCUCXoykLOyK7N8t2CALLQeCeAAKLBgMBtRAUIoUHWJzTiIcrmtGDR1jB0hBeac3hda8TAqQsNiqJYanMABdPAABs0DAABrBAUGQXA7EI5ASi0OiSj0OiQTKOiDHYnBkBbKo6IDJZ+JwCo6L5Hc6J7cTuJ3HBX3w%2DDzCAA) +* [A -> A, (A /\ B) => (B /\ A), (A /\ (A -> B)) -> B](https://rairlab.github.io/lazyslate/?proof=N4Igdg9gJgpgziAXAbVASykgDAGnAQwFsYkQsQ8YAPABwCd440IxSBBCkAKwFc4AXNADM0AY3yCWpfHDg9inGhCaTWiUFSQAWAOwBWPAE8kAJjMBfcznSZEARjxgiJRCACSQgARtP%2DABb4YN6c1PSMzGogABTC3t4AlJy8AsJiEhGkwm6KymiqSBraWiZGSADMAJwAbJbWIBimjs6kJiG0DLIZrlGBUHEAQol4yYIi4vmuMnIKeEoqXYWIABxluCDGiCZ2JrU25U0KrmVtYZ1S3b2e%2DQlJfKNpEyC92bO5E4tLWg7rSHp2S7t6rYtAcXCAtCcOkxziAOMM7qlxl0nmAoABRHLzc6LHRVEE%2DRBlKo7Kx7RAGAiHEB6SHhGH9W4pMbpGG9DGvLFqRYVExLUqEvRaQENRBVUGkADCEEIhB4%2DHSADcYJ4pWBeGBRKoEJR2nTIjEvD1UQN4p4jX1rmx4kNuAjmY8spi8gsQJpEDpdPyqjoKsLbDpxa4dLSzvrLj4DSabSNESzIlN5CQOc7sa6kHYyiY1hss1g%2DUg+ZSwUsQ9DInDbUyHsi2U73mn7CYqmV+WU9L7SUCkBVAyAKqXkZGfINGfckazUeyQHMU1yG3YtFoWwS22V8%2DY1k4qXZyDrTmXSAz4VXx5FhFOZ%2DW3RmdCUCXoykLOyK7N8t2CALLQeCeAAKLBgMBtRAUIoUHWJzTiIcrmtGDR1jB0hBeac3hda8TAqQsNiqJYanMABdPAABs0DAABrBAUGQXA7EI5ASi0OiSj0OiQTKOiDHYnBkBbKo6IDJZ+JwCo6L5Hc6J7cTuJ3HBX3w%2DDzCAA) +* [p -> (q -> p)](https://rairlab.github.io/lazyslate/?proof=N4Igdg9gJgpgziAXAbVASykgDAGnAQwFsYkQsQ8YAPABwCd440IxSAKNAMwAIbuOeAR14BKERRAArAK5wALlzQBjfApakuASQk0ITNa0SgqSAOwBWAJx4AnknMA2AEwBfFznSZEAZjxgiJIgg3hLU9IzMhiA0EjLyiioGpPhwcNLEOnpoSUYgJogAHKYAjLZIALTF5m4eIBj2fgGk5qG0DKmRpIKxsgqcyqqdQSlpGXi6+kPGZgAspmWIld41nkgFjRlBBa3hHepBbPhgULzcguJ4cX0DOSBHUNrjWTnTiKaWDgvF3g4rdV7WAibECWHbtJj7aI9eL9RJDO7HACimUm+1e73WIDsiCcpl+7lWiGKpSBgRAxLBEUhAjOomh1zhkK0KOyUzyZksuCxSBmVTcAF08AAbNBgADWCBQyHMOAKguQvjlOGQ60s8usxPlxJwWH5-JcQA) ## Building