veriT+Alethe-s1

loading
details

attribute value
name veriT+Alethe-s1
description first version of veriT and the Alethe proof checker submitted to SMTCOMP 2022
owner Hans-Joerg Schurr
uploaded Jun 18 2022
disk size 4.73 MB
build status uploaded built
configurations
name description
default no description

actions get anonymous link