coq export: fix output for all/ex - Githubissues

Deducteam / lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Other

269 stars 35 forks source link

coq export: fix output for all/ex #979

Closed fblanqui closed 1 year ago