Update README.md

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