PrototypeCommune
epfl-lara/leon
The Leon system for verification, synthesis, repair
- Propriétaire
- epfl-lara (organisation)
- Étoiles
- Étoiles : 168
- Forks
- Forks : 44
- Langage
- Scala
- Licence
- Aucune
- Création
- 2013
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de epfl-lara
Les 3 dépôts de epfl-lara- epfl-lara/stainlessÉtoiles : 410ScalaAlpha
- epfl-lara/ScalaZ3Étoiles : 127ScalaPrototype
D’autres dépôts Scala
Tous les dépôts Scala- cloudml/zenÉtoiles : 168ScalaPrototype
- LvNA-system/labeled-RISC-VÉtoiles : 168ScalaPrototype
- oleg-py/meow-mtlÉtoiles : 168ScalaPrototype
- inca/circumflexÉtoiles : 168ScalaPrototype
- djspiewak/anti-xmlÉtoiles : 168ScalaPrototype