/claymore-benchmark

SageMath code for comparing Claymore proof sizes against competition for a benchmark computation.

Primary LanguageSage

No issues in this repository yet.