search

Deducteam / lambdapi

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

add missing deps in tests/regressions/dune (fix #983) #1024

Closed fblanqui closed 7 months ago