diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-17 18:59:35 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-03-18 13:18:40 +0100 |
| commit | 0fca69965786db7deee2e976551b5156531e8ed5 (patch) | |
| tree | 827ac0961e61076edf697f24374efc26867afb37 /verify_xor.py | |
| parent | 5ff90e94c9bb411a0262a8130a6f0ce4125ca11b (diff) | |
| download | vein-0fca69965786db7deee2e976551b5156531e8ed5.tar.gz vein-0fca69965786db7deee2e976551b5156531e8ed5.zip | |
added proof for ONNX translation
Diffstat (limited to 'verify_xor.py')
0 files changed, 0 insertions, 0 deletions