Mentions légales du service

Skip to content

Cert induction

Quentin Garchery requested to merge cert_induction into cert

Provides a (Lambdapi and OCaml) checked version of the strong induction over integers transformation.

Merge request reports