search

Deducteam / lambdapi

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

Add upper bound on pratter #1017

Closed gabrielhdt closed 8 months ago

gabrielhdt commented 8 months ago

Pratter is going to be updated and its interface will change. To avoid conflicts, make lambdapi depend on the interface of version 2.

fblanqui commented 8 months ago

Thanks Gabriel!

fblanqui commented 8 months ago

Will you make a PR on Lambdapi once Pratter 3 will be available on Opam?

gabrielhdt commented 8 months ago

Will you make a PR on Lambdapi once Pratter 3 will be available on Opam?

I will, it won't require much work.