LS-Lab/KeYmaeraX-release
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
ScalaGPL-2.0
Stargazers
- 850iBinghamton University
- Ankit-JaiswalAlstom
- aogrcs
- aplatzerKarlsruhe Institute of Technology
- atomczyk
- axkrGermany
- Batu-MGLuniversity of minnesota
- bryanbocaoDr. Wily's Castle
- daidahao
- DilaUdumİstanbul, Turkey
- jonathan-laurentCarnegie Mellon University
- kmikitin@flexapp
- ksuenagaKyoto University
- liziwlAlibaba group, @SUSTC , @SUSTech-sz, @SUSTech-CRA
- martinodb
- martinvahiI'm a freelancer.
- miho@VRL-Studio
- mstoneCambridge, MA
- nankidotswitch inc.
- nrfultonAWS AI Labs
- PhilAndrewNewcastle, Australia
- philzook58Draper
- rationalthug
- rplessF5
- siddhartha-gadgilIndian Institute of Science
- smitsch
- sonologico
- taktoa@MatX-inc
- tanyongkiam
- terminiter
- ttjVanderbilt University
- u3r
- wesen
- wongwaituck@watchtowr
- zstone1
- ztl2004