search

epfl-lara / lisa

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

Printer fails on SchematicConnectorLabels #81

Closed lighthea closed 1 year ago

lighthea commented 1 year ago

The printer is not able to print a formula containing a SchematicConnectorLabel and "fails unexpectedly". Minimal example :

Printer.prettyFormula(SchematicConnectorLabel("p", 1)(VariableFormulaLabel("x")()))