search

usi-verification-and-security / golem

Solver for Constrained Horn Clauses
MIT License
34 stars 7 forks source link

Alethe Proof Generation #40

Closed m4mbo closed 1 year ago

m4mbo commented 1 year ago

First version of valid Alethe proof generation.