# LS-Lab/KeYmaeraX-release

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

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

LS-Lab/KeYmaeraX-release, dépôt open source à 105 étoiles sur GitHub. Carte Prototype de RepoMasters. KeYmaera X: An aXiomatic Tactical Theorem Prover for…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [LS-Lab](https://repo.masters-masters.com/owners/LS-Lab) |
| Étoiles | 105 |
| Forks | 49 |
| Langage | [Scala](https://repo.masters-masters.com/languages/scala) |
| Licence | GPL-2.0 |
| Création | 2015 |
| Sujets | hybrid-systems, theorem-prover, dynamic-logics, dynamical-systems, proof, tactics, mathematica, differential-dynamic-logic, differential-equations, axiom |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [LS-Lab/KeYmaeraX-release](https://github.com/LS-Lab/KeYmaeraX-release) |

## Fiche du dépôt

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

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Scala

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.