diff options
| author | Florent Hivert | 2019-07-11 09:45:08 +0200 |
|---|---|---|
| committer | GitHub | 2019-07-11 09:45:08 +0200 |
| commit | c52e7083d490a0c163f25513408c4f17a186a22c (patch) | |
| tree | 6b4074cc018972a2aba34bcdf2a7f2d81f0a1dcc /plugins/syntax/numeral_notation_plugin.mlpack | |
| parent | ef5a7e27f70013a8aa953eef8fd302ce54d23bc3 (diff) | |
Update doc/sphinx/proof-engine/ssreflect-proof-language.rst
Co-Authored-By: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Diffstat (limited to 'plugins/syntax/numeral_notation_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions