search

Deducteam / lambdapi

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

fix doc #999

Closed fblanqui closed 12 months ago

fblanqui commented 12 months ago

non-regular identifiers are not allowed for bound variable names