diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 14:52:20 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-17 14:54:38 +0100 |
commit | 11b738182df0f6ceacd4e3dd1a1fd9fb5d1ce713 (patch) | |
tree | c62eae0e5d4b072c6ba6b6364e90b56f29425a7d /_CoqProject | |
parent | 007b01bcae6abcc88dbcd540d024cdf3df6a603b (diff) | |
download | vericert-kvx-11b738182df0f6ceacd4e3dd1a1fd9fb5d1ce713.tar.gz vericert-kvx-11b738182df0f6ceacd4e3dd1a1fd9fb5d1ce713.zip |
[#1 #2] Update README for installation
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions