Dark-Alex-17/ptp
Archived
1
0 Fork 0
Code Issues Actions Packages Projects Releases Wiki Activity

Update README.md

Browse Source
This commit is contained in:
Alex Tusa authored and GitHub committed 2019-03-04 18:01:52 -07:00
1 parent 953f8d807c
commit f2498f4bda
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+1 -1
View File
@@ -1,7 +1,7 @@
# Pandamonium Theorem Prover
This project contains several different modules for different parts of the system.
* [psersistence](persistence/README.md)
* [persistence](persistence/README.md)
* [web-server](src/README.md)
## Getting Started