From 912e998611f5f4c29cdeb13492d3ee025f406185 Mon Sep 17 00:00:00 2001 From: Tannr Date: Thu, 3 Aug 2023 23:10:30 -0400 Subject: [PATCH] Update README.md with new Athena resources --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index aea83ea..f6a3a36 100644 --- a/README.md +++ b/README.md @@ -17,11 +17,11 @@ ##### ATHENA Resources: -* [ATHENA Website](http://proofcentral.org/) +* [ATHENA Website](https://athena-lang.org) -* [Athena Library](http://proofcentral.org/athena/lib/) +* [Athena Library](https://github.com/AthenaFoundation/athena/tree/master/lib) -* [ATHENA user's guide](http://proofcentral.org/athena/Athena_User's_Guide.pdf) +* [ATHENA user's guide](https://athena-lang.org/learn) * For more about ATHENA, refer to the book [Fundamental Proof Methods in Computer Science](https://mitpress.mit.edu/books/fundamental-proof-methods-computer-science) by Konstantine Arkoudas and David Musser, MIT Press, 2017