diff options
| author | Yves Bertot | 2018-05-09 17:44:50 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-09 23:00:55 +0200 |
| commit | a3f8e01c9e705fcc2d73187ebf3f26d586b47f8d (patch) | |
| tree | 1c49a16dd8416352c05f363f68675caa4843d3cb /doc/plugin_tutorial | |
| parent | 178d7414cc1ba0c951f7240a839ce2a8afb78bbc (diff) | |
This version contains an example of using canonical structures so
that type-checking actually triggers the automatic build of a proof.
Diffstat (limited to 'doc/plugin_tutorial')
0 files changed, 0 insertions, 0 deletions