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