diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-24 19:59:09 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-24 19:59:09 +0100 |
commit | 934b137726cf0ef093db0a7bb8112326e29b256f (patch) | |
tree | 8ae356178cc4e86c54e4139344fdcfb8fe503ea6 /.gitignore | |
parent | 9355fe644b65539bfb508706899c4dd351d136bb (diff) | |
download | vericert-934b137726cf0ef093db0a7bb8112326e29b256f.tar.gz vericert-934b137726cf0ef093db0a7bb8112326e29b256f.zip |
Add type-class proofs to Predicate.v
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions