search

alegnani / pancake-verifier

2 stars 0 forks source link

Encoding of predicates #12

Closed alegnani closed 1 month ago