diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-06-03 20:57:36 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-06-03 20:57:36 +0100 |
| commit | 6d1467f2054a54955f642fabf43e224f121cf8e3 (patch) | |
| tree | 51a29d2789262dc52ffae1f5fb69ea087bfbed22 /shell.nix | |
| parent | db4da00aea8b51bc9d90d83f981b9163eec3c540 (diff) | |
| download | vericert-6d1467f2054a54955f642fabf43e224f121cf8e3.tar.gz vericert-6d1467f2054a54955f642fabf43e224f121cf8e3.zip | |
Working towards ElimCond proof
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions