search

Deducteam / lambdapi

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

CI: test ocaml 5.1.0 #1013

Closed fblanqui closed 9 months ago