marcsello 85fba9be7d Added some results

2021-11-24 21:28:32 +01:00

results

Added some results

2021-11-24 21:28:32 +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 something

2021-11-24 21:25:55 +01:00

push_csirip.py

added something

2021-11-24 21:25:55 +01:00

requirements.txt

Added more stuff

2021-11-24 20:50:26 +01:00

run.sh

Added run.sh

2021-11-24 20:52:20 +01:00

Description

Makes proofs

30 KiB

Languages

Python 90.7%

Shell 9.3%