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 issues of Florian Lanzinger

Hackeython unknown methods

1 comment

## Related Issue This pull request addresses #1663 ## Intended Change When using a library method without an explicit contract, instead of getting stuck in the proof, KeY now assumes...

HacKeYthon