Published April 28, 2026 | Version v1.1.0
Software Open

VNNLIB 2.0 - Agda formalisation

Authors/Creators

  • 1. ROR icon University of Western Australia
  • 2. ROR icon University of Genoa

Description

The Agda formalisation of the VNNLIB 2.0 standard that accompanies the CAV 2026 publication.

Files

VNNLIB-Agda-docker-image.zip

Files (792.4 MB)

Name Size Download all
md5:2da0200bad14e40c9a20dcca78cf5e84
792.4 MB Preview Download

Additional details

Software

Repository URL
https://github.com/VNNLIB/VNNLIB-Agda
Programming language
Agda
Development Status
Active