From 18b4cdbd287176dfdae65d9312211a7b03bc8600 Mon Sep 17 00:00:00 2001 From: Alex Tusa <39523942+Dark-Alex-17@users.noreply.github.com> Date: Fri, 17 Feb 2023 13:25:14 -0700 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 1f5edb6..3e6b1e4 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,6 @@ # Pandamonium Theorem Prover +## 2023 Note: This project was for a final project for a CS course in college. The repo is now archived and locked. + This project contains several different modules for different parts of the system. * [persistence](persistence/README.md)