SOURCE RECORD · github
Interfaces for Relations and SNARKs for these relations
Open canonical source ↗
Research paper status → · Book status →