diff options
| author | Guillaume Melquiond | 2019-07-23 17:48:29 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2019-07-29 21:30:59 +0200 |
| commit | dd2278ec1161079f2d28079da92398cb4743972b (patch) | |
| tree | e892bb4ead51b546558161ea663cef01303d6e1c /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | 7ebc836e8a526918ac647acff60f83517276f4da (diff) | |
Transpose the C code of uint63_div21 to the OCaml implementations.
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions