Add proof, testing, and supporting code

This commit is contained in:
Chris Proctor
2023-07-07 17:57:41 -04:00
parent 8cf0854e8c
commit d12a90dc1b
6 changed files with 636 additions and 0 deletions

1
.gitignore vendored Normal file
View File

@@ -0,0 +1 @@
__pycache__/*