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 Jun 23 2022
disk size 5.62 MB
build status uploaded built
configurations
name description
default no description

actions get anonymous link download