Makes proofs
Go to file
Pünkösd Marcell 5294eae48a Added more stuff 2021-11-24 20:50:26 +01:00
.gitignore Added more stuff 2021-11-24 20:50:26 +01:00
big_chop.py Added big chop 2021-11-24 20:01:56 +01:00
evaluation_server.py Added more stuff 2021-11-24 20:50:26 +01:00
push_csirip.py Added more stuff 2021-11-24 20:50:26 +01:00
requirements.txt Added more stuff 2021-11-24 20:50:26 +01:00