PrototypeCommune
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
- Propriétaire
- LS-Lab (organisation)
- Étoiles
- Étoiles : 105
- Forks
- Forks : 49
- Langage
- Scala
- Licence
- GPL-2.0
- Création
- 2015
- Sujets
- hybrid-systemstheorem-proverdynamic-logicsdynamical-systemsprooftacticsmathematicadifferential-dynamic-logicdifferential-equationsaxiom
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Scala
Tous les dépôts Scala- holdenk/sparkProjectTemplate.g8Étoiles : 105ScalaPrototype
- typelevel/vulcanÉtoiles : 105ScalaPrototype
- Colisweb/scala-opentracingÉtoiles : 105ScalaPrototype
- stephentu/scala-sql-parserÉtoiles : 105ScalaPrototype
- scala-ide/scala-ide-play2Étoiles : 105ScalaPrototype
- twbs/rorschachÉtoiles : 105ScalaPrototype