philip 45499ec839 Refactor to match proof checked for by verify_proofs task.		2021-12-20 10:56:01 +03:00
..
proofs.py	Refactor to match proof checked for by verify_proofs task.	2021-12-20 10:56:01 +03:00