search

Deducteam / lambdapi

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

Check libraries when Lambdapi code changes #1107

Closed Alidra closed 2 months ago

Alidra commented 2 months ago

This PR adds a check of lambdapi-logics and lambdapi-stdlib in the pipeline to unsure nothing has been broken by changes in Lambdapi code