abdoo8080 / lean-cvc5Links

A Foreign Function Interface (FFI) to cvc5 solver in Lean.
17Updated last week

Alternatives and similar repositories for lean-cvc5

Users that are interested in lean-cvc5 are comparing it to the libraries listed below

Sorting: