Added link to example TPTP code

This commit is contained in:
Brandon Rozek 2023-03-27 11:05:18 -04:00
parent a97f795865
commit b64844fb34
No known key found for this signature in database
GPG key ID: 26E457DA82C9F480

View file

@ -15,7 +15,11 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic-
I presented the following:
02/01/2023: Original Tutorial on Interactive Theorem Proving with Lean Part 1
03/22/2023: Original Tutorial on ["Automated Theorem Proving with TPTP"](https://github.com/Brandon-Rozek/TPTP-Examples)
02/08/2023: Original Tutorial on "Interactive Theorem Proving with Lean Part 2"
02/01/2023: Original Tutorial on "Interactive Theorem Proving with Lean Part 1"
05/11/2022:
[The Power of Waiting in Social Laws](https://icaps21.icaps-conference.org/workshops/KEPS/Papers/KEPS_2021_paper_14.pdf) by Alexander Tuisov, Alexander Shleyfman, and Erez Karpas.