2.0.2 protected

Marian Lingsch

@Marianl

6d9501b4 · Release 2.0.2 Verification Witnesses · Nov 28, 2023

Release 2.0.2 Verification Witnesses

Release of version 2.0.2 of the format for verification witnesses and their linter WitnessLint