search

Deducteam / lambdapi

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

Update Pratter from 2 to 3 #1019

Closed gabrielhdt closed 8 months ago

fblanqui commented 8 months ago

Thanks Gabriel!