Makes proofs
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
Pünkösd Marcell 85fba9be7d Added some results 2 weeks ago
results Added some results 2 weeks ago
.gitignore Added more stuff 2 weeks ago
big_chop.py Added big chop 2 weeks ago
evaluation_server.py added something 2 weeks ago
push_csirip.py added something 2 weeks ago
requirements.txt Added more stuff 2 weeks ago
run.sh Added run.sh 2 weeks ago