Artiweb > Pull Request #3169

Update README.md #3169

Github

Description

Changes done:

  • KeY requires Java 11 for several years now
  • key-docs was also moved to Github

Artifacts