diff options
| author | coqbot-app[bot] | 2020-12-21 19:33:46 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-21 19:33:46 +0000 |
| commit | 7b8f73e509438af79f51aefb80e6128aaf0f73a7 (patch) | |
| tree | b7713c9f009cc5d082f90e2ef33d45ee8e2a92a5 /kernel/nativecode.mli | |
| parent | 9d596d13b088a78e772ae58adfbd3cc1fd91f021 (diff) | |
| parent | 9c318584622e1bb50c20d40c60d10231b789b629 (diff) | |
Merge PR #13651: Shorten/improve intro of "Basic proof writing" chapter.
Reviewed-by: jfehrle
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions