search

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting
Other
265 stars 35 forks source link

fix order of parameters in the type of generated induction principles #997

Closed fblanqui closed 1 year ago

fblanqui commented 1 year ago

fix #989

fblanqui commented 1 year ago

CI fails because there is currently a problem with gitlab.inria.fr:

[ERROR] Failed to get sources of menhir.20230415: Curl failed

and menhir and perhaps other dependencies are on gitlab. Gitlab is under maintenance until July 3 at 11 am: https://doc-si.inria.fr/pages/viewpage.action?pageId=74622385