diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-30 17:36:36 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-05 08:36:57 +0200 |
| commit | cfde2528ba4e93795df50356d47fbc9ced62e517 (patch) | |
| tree | 8d831814d28f38cf4fadd453e89be18864917b3b /proofs/proof_global.mli | |
| parent | ad702b290fcee29305b8a83b7530e24d655b2d7d (diff) | |
[Sphinx] Add chapter 30
Thanks to Paul Steckler for porting this chapter.
Diffstat (limited to 'proofs/proof_global.mli')
0 files changed, 0 insertions, 0 deletions