Proof handling
This commit is contained in:
parent
dedea6ba11
commit
19d9b1a4a5
9 changed files with 283 additions and 58 deletions
3
.gitignore
vendored
3
.gitignore
vendored
|
|
@ -1,5 +1,4 @@
|
|||
.DS_Store
|
||||
*.pyc
|
||||
t.py
|
||||
t2.py
|
||||
testutils
|
||||
TODO
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue