diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-05-22 11:35:05 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-22 11:35:05 +0100 |
| commit | c8b7eca3c747f09cf5b3d495c4ec44c86d8b4edb (patch) | |
| tree | 47e59d6e810be0a679460625b9069f9ef8f879aa /CITATION.cff | |
| parent | fa3bd7cf4caf43b9e29e3aed834af19aa7a3c794 (diff) | |
| download | vericert-c8b7eca3c747f09cf5b3d495c4ec44c86d8b4edb.tar.gz vericert-c8b7eca3c747f09cf5b3d495c4ec44c86d8b4edb.zip | |
Work on smaller evaluability proof
Diffstat (limited to 'CITATION.cff')
0 files changed, 0 insertions, 0 deletions