Published March 13, 2026
| Version v4
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".