PrototypeCommon
LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
- Owner
- LS-Lab (organization)
- Stars
- Stars: 105
- Forks
- Forks: 49
- Language
- Scala
- License
- GPL-2.0
- Created
- 2015
- Topics
- hybrid-systemstheorem-proverdynamic-logicsdynamical-systemsprooftacticsmathematicadifferential-dynamic-logicdifferential-equationsaxiom
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Scala
All Scala repos- holdenk/sparkProjectTemplate.g8Stars: 105ScalaPrototype
- typelevel/vulcanStars: 105ScalaPrototype
- Colisweb/scala-opentracingStars: 105ScalaPrototype
- stephentu/scala-sql-parserStars: 105ScalaPrototype
- scala-ide/scala-ide-play2Stars: 105ScalaPrototype
- twbs/rorschachStars: 105ScalaPrototype