diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-11 16:07:04 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-03-11 16:07:04 +0100 |
| commit | fb544e2089e0c52bd83ffe56f2f4e8d7176564ee (patch) | |
| tree | 465c8a957baa001ea3e4733774b380dc2cc79e22 /proof.norg | |
| parent | 8619ee7a61bafb8c401087508b886e37779be07b (diff) | |
| download | vein-fb544e2089e0c52bd83ffe56f2f4e8d7176564ee.tar.gz vein-fb544e2089e0c52bd83ffe56f2f4e8d7176564ee.zip | |
added constraint to prover
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions