search

Deducteam / lambdapi

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

problem with --lib-root and lambdapi.pkg #981

Open fblanqui opened 1 year ago

fblanqui commented 1 year ago

lambdapi check --lib-root=. foo.dk fails when there is a lambdapi.pkg file with path_root=foo.