Package structured reworked for sealed packages

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

42 stars 24 forks source link

Open wadoon opened 1 month ago

wadoon commented 1 month ago

This brings some clean-ups of the #3451 branch to main, without adding module-info.java files.

Features

sonarcloud[bot] commented 1 week ago