marcsello cd8f1ae426 Added stuff

2022-01-31 21:25:58 +01:00

results

Added stuff

2022-01-31 21:25:58 +01:00

.gitignore

Added more stuff

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

big_chop.py

Added stuff

2022-01-31 21:25:58 +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 stuff

2022-01-31 21:25:58 +01:00

Description

Makes proofs

30 KiB

Languages

Python 90.7%

Shell 9.3%