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

about summary refs log tree commit diff

path: root/src/ExtractionOCaml/saturated_solinas.v

blob: 3664b34e3be663e3e15a0c074ba1f89e4cf0f3de (plain)

1
2
3

Require Import Crypto.StandaloneOCamlMain.

(*Redirect "/tmp/saturated_solinas.ml"*) Recursive Extraction SaturatedSolinas.main.