Cert induction
Provides a (Lambdapi and OCaml) checked version of the strong induction
over integers transformation.
Prochaine maintenance programmée : lundi 01/07
Pour plus d'informations : https://doc-si.inria.fr/display/SU/Gitlab
Provides a (Lambdapi and OCaml) checked version of the strong induction
over integers transformation.