issues
search
anoma
/
vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
https://anoma.github.io/VampIR-Book/
Apache License 2.0
156
stars
44
forks
source link
CI: run test-and-build before any release
#111
Closed
jonaprieto
closed
1 year ago