PrototypeCommon
epfl-lara/leon
The Leon system for verification, synthesis, repair
- Owner
- epfl-lara (organization)
- Stars
- Stars: 168
- Forks
- Forks: 44
- Language
- Scala
- License
- None
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by epfl-lara
All 3 repos by epfl-lara- epfl-lara/stainlessStars: 410ScalaAlpha
- epfl-lara/ScalaZ3Stars: 127ScalaPrototype
Nearby in Scala
All Scala repos- cloudml/zenStars: 168ScalaPrototype
- LvNA-system/labeled-RISC-VStars: 168ScalaPrototype
- oleg-py/meow-mtlStars: 168ScalaPrototype
- inca/circumflexStars: 168ScalaPrototype
- djspiewak/anti-xmlStars: 168ScalaPrototype