Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
veriT+Alethe-s1
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
2022-06-18 15:44:43.0
disk size
4.73 MB
build status
uploaded built
configurations
name
description
default
no description
actions
get anonymous link