Closed olaure01 closed 3 years ago
Remove useless parentheses in the Coq export of formulas. Extend Coq export to open proofs.
Remove useless parentheses in the Coq export of formulas. Extend Coq export to open proofs.