2 commits

Author	SHA1	Message	Date
Yarmo Mackenbach	45c08ffda7	Remove commented code	2022-09-20 21:48:25 +02:00
Yarmo Mackenbach	5a15238ab5	Add tests for proof verifications	2022-09-20 21:44:29 +02:00