cvc5 / ethos

A Flexible and Efficient Proof Checker for SMT Solvers
20Updated this week

Alternatives and similar repositories for ethos:

Users that are interested in ethos are comparing it to the libraries listed below