diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 11:01:39 +0200 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2021-08-18 11:01:39 +0200 |
| commit | efe72e7c628e00d37b89b604912908125857ddd3 (patch) | |
| tree | 2cd83f93479ab8448ee2b735aa36c6038c00b927 /doc/sources.md | |
| parent | aceba6c2aff4bd6faa702bca3c8346589d1f32f6 (diff) | |
| download | smtcoq-efe72e7c628e00d37b89b604912908125857ddd3.tar.gz smtcoq-efe72e7c628e00d37b89b604912908125857ddd3.zip | |
Update installation instructions
Diffstat (limited to 'doc/sources.md')
0 files changed, 0 insertions, 0 deletions