Makes proofs
Go to file
Pünkösd Marcell 2069898190 Added big chop 2021-11-24 20:01:56 +01:00
.gitignore Added big chop 2021-11-24 20:01:56 +01:00
big_chop.py Added big chop 2021-11-24 20:01:56 +01:00