diff options
| author | Özgür Kesim <oec@codeblau.de> | 2024-03-29 19:10:49 +0100 |
|---|---|---|
| committer | Özgür Kesim <oec@codeblau.de> | 2024-03-29 19:10:49 +0100 |
| commit | 23e923effba34bf370de84c0a84688a755d3f8b1 (patch) | |
| tree | d2203d48ccbb32d773c0ea9d3b619a2be89bfdb9 /veto/veto.go | |
| parent | b01505ac50c87517f7b184bc166518b3602931a5 (diff) | |
stage2: proof and verification implemented and tested
Diffstat (limited to 'veto/veto.go')
0 files changed, 0 insertions, 0 deletions