search

Deducteam / lambdapi

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

add flag print_meta_args #1100

Closed fblanqui closed 2 months ago

fblanqui commented 2 months ago

fix #1096

fblanqui commented 2 months ago

@nicomarg helpful for you too