A fragment of "Polyas Open Cred" translated from Kotlin to Java for doing formal program verification. The fragment is most likely not fully functional as simplifying assumptions are made.

Name
Last commit
Last update
lib Loading commit data...
src/main/de/polyas/core3/open Loading commit data...
.gitignore Loading commit data...
PolyasOpenCred-2019.06.18-v0.5.pdf Loading commit data...
README.md Loading commit data...
polyas3.0-GI-v0.9.pdf Loading commit data...
project.key Loading commit data...