cvc5 / ethos

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

Related projects

Alternatives and complementary repositories for ethos