Enguerrand Prebet
Results
2
comments of
Enguerrand Prebet
The latest KeYmaera X release now works with Scala 2.13.
Thanks for pointing that out, in the meantime, this issue is now fixed in the current release.