diff options
| author | Guillaume Melquiond | 2021-02-20 09:49:45 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-02-20 09:49:45 +0100 |
| commit | 3caa323fd4176c2217a9f681fb60a73c1ccdb6c8 (patch) | |
| tree | 49ee0aeb5c2d0b5f6c36433f69fb3bbf8234d448 /doc/plugin_tutorial/tuto2 | |
| parent | fccbde39ff8085f73bdb46dac278f88474a1e202 (diff) | |
Inline proofs of exist_exp0 and exist_cos0.
Diffstat (limited to 'doc/plugin_tutorial/tuto2')
0 files changed, 0 insertions, 0 deletions