Strong type constraints for Scala
Why do you think that https://github.com/epfl-lara/stainless is a good alternative to iron
Strong type constraints for Scala
Why do you think that https://github.com/epfl-lara/stainless is a good alternative to iron