AlphaUncommon
epfl-lara/stainless
Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless
- Owner
- epfl-lara (organization)
- Stars
- Stars: 410
- Forks
- Forks: 62
- Language
- Scala
- License
- Apache-2.0
- Created
- 2016
- Topics
- verificationscalaformal-methodssmtinoxz3cvc4cvc5model-checkingproof-assistant
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by epfl-lara
All 3 repos by epfl-lara- epfl-lara/leonStars: 168ScalaPrototype
- epfl-lara/ScalaZ3Stars: 127ScalaPrototype
Nearby in Scala
All Scala repos- typelevel/log4catsStars: 416ScalaAlpha
- mesos/kafkaStars: 413ScalaAlpha
- typelevel/sbt-tpolecatStars: 410ScalaAlpha
- ReactiveMongo/Play-ReactiveMongoStars: 409ScalaAlpha
- spray/spray-templateStars: 408ScalaAlpha
- vlovgr/cirisStars: 408ScalaAlpha