miguel-ambrona/autodiff

Tool prototype for indifferentiability analysis

OCaml