Skip to main content

Browse the archive

Revision 18e7bf44d8f1c9001408dddf56bead2b770e1b93 authored by Pierre-Yves Strub on 08 April 2021, 07:15:49 UTC, committed by Pierre-Yves Strub on 08 April 2021, 07:15:49 UTC 
Stdlib: more results on polynomials & ring ideals
1 parent 83e39fd
Raw File
ecBigInt.mli 
(* --------------------------------------------------------------------
 * Copyright (c) - 2012--2016 - IMDEA Software Institute
 * Copyright (c) - 2012--2018 - Inria
 * Copyright (c) - 2012--2018 - Ecole Polytechnique
 *
 * Distributed under the terms of the CeCILL-C-V1 license
 * -------------------------------------------------------------------- *)

include EcBigIntCore.TheInterface
back to top