diff options
| author | coqbot-app[bot] | 2021-02-22 11:42:04 +0000 |
|---|---|---|
| committer | GitHub | 2021-02-22 11:42:04 +0000 |
| commit | 20b2dd4caea233a6516d9470619de9995bcdad96 (patch) | |
| tree | 4e7c339b0fd361502298fb0507d31d8046055aa1 /doc/plugin_tutorial/tuto1/src/dune | |
| parent | d3f9ebde0d6a7a7978d67a84a72f7ba7db9a6a16 (diff) | |
| parent | 3caa323fd4176c2217a9f681fb60a73c1ccdb6c8 (diff) | |
Merge PR #13872: Make lemmas from Reals opaque whenever possible.
Reviewed-by: thery
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/dune')
0 files changed, 0 insertions, 0 deletions