Skip to content

Quickfix

Viktor Kuncak requested to merge quickfix into main

Created by: SimonGuilloud

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.

Merge request reports