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

about summary refs log tree commit diff

path: root/src/Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas.v

blob: bd37edfe219830b85e86978f75e897964b8c1286 (plain)

1
2
3

Require Import Crypto.Experiments.NewPipeline.StandaloneOCamlMain.

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