Experimenting with stainless to perform verification on Scala code.
There are so far no comments about this event.
Log in to add a comment.