search

Deducteam / lambdapi

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

ci: add ocaml 5.2.0 #1113

Closed fblanqui closed 4 months ago