diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-10-13 08:54:36 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-13 08:54:36 +0100 |
| commit | b26be52c3142d0b97fba8086b4bb4c8ddb3f7385 (patch) | |
| tree | 31a668aa40fa720afe85151d64b29b40f3c075b1 /CITATION.cff | |
| parent | 211cea99ccdb8f0798b81b4bf85859b01e0666db (diff) | |
| download | vericert-b26be52c3142d0b97fba8086b4bb4c8ddb3f7385.tar.gz vericert-b26be52c3142d0b97fba8086b4bb4c8ddb3f7385.zip | |
[sched] Add proofs of sem_pred_det
Diffstat (limited to 'CITATION.cff')
0 files changed, 0 insertions, 0 deletions