search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

Update faq.rst #1434

Closed drganam closed 1 year ago

drganam commented 1 year ago

Java is not a good language for specifications?

mario-bucev commented 1 year ago

That's a bold claim haha, maybe we should ask the original author (I think @vkuncak ?)