Pinned Loading
Repositories
Showing 10 of 22 repositories
-
- cvc5 Public
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
- docs-ci Public
- AletheInEunoia Public
Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF
- docs Public
- cvc5.github.io Public
- isabelle-integration-evaluation Public
Tests to evaluate the reconstruction of cvc5 proofs in the proof assistant Isabelle
Top languages
Loading…
Most used topics
Loading…