diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-09-26 02:30:45 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-09-26 16:08:48 +0200 |
| commit | 5d36de8e2304661e76ac433d5dd90c13b3b86c72 (patch) | |
| tree | 06b361b179fa775e2fa9f3448372a91dc5d99a24 /pretyping/locusops.ml | |
| parent | ad56f07611f78abb612e8c8c22866ea45040f11e (diff) | |
Fast russian peasant exponentiation in Nsatz.
Diffstat (limited to 'pretyping/locusops.ml')
0 files changed, 0 insertions, 0 deletions