search

epfl-lara / lisa

Proof assistant based on first-order logic and set theory
Apache License 2.0
33 stars 18 forks source link

Quickfix #83

Closed SimonGuilloud closed 1 year ago

SimonGuilloud commented 1 year ago

Solving issues https://github.com/epfl-lara/lisa/issues/74 and https://github.com/epfl-lara/lisa/issues/80

removing the display parameters from subproof as suggested by @cache-nez. Add back the missing case of RewriteTrue in the printer, which was lost in some PR.