VerifyThis2020 Challenge in Stainless

Stainless implementation of the VerifyThis2020 challenge.

See the specification for more information.

Work in progress

This is a work-in-progress verified implementation of the challenge.

Released under the MIT license, as a derived work of Gidon Ernst Scala implementation.

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
project		project
specs		specs
src/main/scala/pgp		src/main/scala/pgp
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.sbt		build.sbt
stainless.conf		stainless.conf