GitHub repository: stechu/proof-systems
Primary language: Python
Description: baby, it is plonk!