unsaturated_solinas.v « ExtractionOCaml « src - fiat-crypto - fast, formally verified cryptography

about summary refs log tree commit diff

path: root/src/ExtractionOCaml/unsaturated_solinas.v

blob: 50de2615bbf6d80fe3cde8f38dff7873950966e0 (plain)

1
2
3

Require Import Crypto.StandaloneOCamlMain.

(*Redirect "/tmp/unsaturated_solinas.ml"*) Recursive Extraction UnsaturatedSolinas.main.