https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: 863066bded664a5e2aba7f89c4fb7bc2afd0e28d authored by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
Tip revision: 863066b
ecVersion.ml
(* --------------------------------------------------------------------
 * Copyright (c) - 2012--2015 - IMDEA Software Institute
 * Copyright (c) - 2012--2015 - Inria
 * 
 * Distributed under the terms of the CeCILL-C-V1 license
 * -------------------------------------------------------------------- *)

(* -------------------------------------------------------------------- *)
let copyright = "Copyright (c) - 2012-2015 - IMDEA Software Institute and INRIA"
let url       = "https://www.easycrypt.info/"

module License = struct
  let engine = "Distributed under the terms of the CeCILL-C license"
  let stdlib = "Distributed under the terms of the CeCILL-B license"
end

back to top