Published November 10, 2022
| Version v3
Software
Open
Carcara Artifact
Authors/Creators
- 1. Universidade Federal de Minas Gerais
- 2. Stanford University
Description
Artifact for the paper "Carcara: An efficient proof checker and elaborator for SMT proofs in the Alethe format".