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".
Files
artifact.zip
Files
(367.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:bd6fc7761c72ad196eb6b67061de908d
|
367.3 MB | Preview Download |