Florian Lanzinger

icon indicating a website link https://formal.iti.kit.edu/~lanzinger

icon company Karlsruhe Institute of Technology (KIT) icon location Karlsruhe, Germany

Results 1 comments of Florian Lanzinger

KeY proofs cannot be replayed if certain labels are present

The problem in this case seems to be somewhere else: The problem parser discards the antecedent and only parses the succedent. @wadoon is parsing problems with a non-empty antecedent supposed...