diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 18:04:49 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-25 18:04:49 +0100 |
| commit | cf9949a5151aa9ed86554fb31c2a56fad0614a10 (patch) | |
| tree | 67928ef6df9af2eead81eb0b4f67ca92e0b8cdb0 /shell.nix | |
| parent | 445aabbcf63e29d68dd0c98dde7f259af0381591 (diff) | |
| download | vericert-cf9949a5151aa9ed86554fb31c2a56fad0614a10.tar.gz vericert-cf9949a5151aa9ed86554fb31c2a56fad0614a10.zip | |
Progress on proof of Veriloggen
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions