search

Deducteam / lambdapi

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

remove dune warnings in export_dk/lp scripts #1008

Closed fblanqui closed 11 months ago