# LS-Lab/KeYmaeraX-release

<https://repo.masters-masters.com/en/repos/LS-Lab/KeYmaeraX-release>

[Home](https://repo.masters-masters.com/en) › [LS-Lab](https://repo.masters-masters.com/en/owners/LS-Lab) › [KeYmaeraX-release](https://repo.masters-masters.com/en/repos/LS-Lab/KeYmaeraX-release)

LS-Lab/KeYmaeraX-release has 105 stars on GitHub. Its RepoMasters card: Prototype tier. KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems…

| Field | Value |
| --- | --- |
| Owner | [LS-Lab](https://repo.masters-masters.com/en/owners/LS-Lab) |
| Stars | 105 |
| Forks | 49 |
| Language | [Scala](https://repo.masters-masters.com/en/languages/scala) |
| License | GPL-2.0 |
| Created | 2015 |
| Topics | hybrid-systems, theorem-prover, dynamic-logics, dynamical-systems, proof, tactics, mathematica, differential-dynamic-logic, differential-equations, axiom |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [LS-Lab/KeYmaeraX-release](https://github.com/LS-Lab/KeYmaeraX-release) |

## Repository

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Scala

- [holdenk/sparkProjectTemplate.g8 · ★ 105 · Scala · Prototype](https://repo.masters-masters.com/en/repos/holdenk/sparkProjectTemplate.g8)
- [typelevel/vulcan · ★ 105 · Scala · Prototype](https://repo.masters-masters.com/en/repos/typelevel/vulcan)
- [Colisweb/scala-opentracing · ★ 105 · Scala · Prototype](https://repo.masters-masters.com/en/repos/Colisweb/scala-opentracing)
- [stephentu/scala-sql-parser · ★ 105 · Scala · Prototype](https://repo.masters-masters.com/en/repos/stephentu/scala-sql-parser)
- [scala-ide/scala-ide-play2 · ★ 105 · Scala · Prototype](https://repo.masters-masters.com/en/repos/scala-ide/scala-ide-play2)
- [twbs/rorschach · ★ 105 · Scala · Prototype](https://repo.masters-masters.com/en/repos/twbs/rorschach)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.