veriT+Alethe-s2

loading
details

attribute value
name veriT+Alethe-s2
description second version of veriT and the Alethe proof checker submitted to SMTCOMP 2022
owner Hans-Joerg Schurr
uploaded 2022-06-23 16:21:41.0
disk size 5.62 MB
build status uploaded built
configurations
name description
default no description

actions get anonymous link download