André Platzer

icon indicating a website link https://lfcps.org/ icon indicating an email [email protected]

icon company Karlsruhe Institute of Technology icon location Alexander von Humboldt Professor at Karlsruhe Institute of Technology leading Logical Systems Lab at Carnegie Mellon University

Results 3 comments of André Platzer

Scala 2.13/dotty compatibility

There is not much we can do about this until Scala itself is compatible. While there is a fair amount of flexibility, a set of compatible scala, sbt etc versions...

Scala 2.13/dotty compatibility

Applied wontfix label until Scala and libraries get more compatible

Vector and Matrix Support

Let me add that these translations can be quite impactful between rigorous verification tools such as KeYmaera X and modeling tools used in engineering practice such as SF/SL. I wish...