KeYmaeraX-release
LS-Lab
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
95
Stars
48
Forks
95
Watchers
Scala
Language
gpl-2.0
License
100
SrcLog Score
Growth over time
7 data points · 2021-05-01 → 2026-04-01
Stars
Forks
Watchers
💬
How do you feel about this project?
Ask AI about KeYmaeraX-release
Question copied to clipboardWhat is the LS-Lab/KeYmaeraX-release GitHub project? Description: "KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)". Written in Scala. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
How to clone KeYmaeraX-release
Clone via HTTPS
git clone https://github.com/LS-Lab/KeYmaeraX-release.git
Clone via SSH
[email protected]:LS-Lab/KeYmaeraX-release.git
Download ZIP
Download master.zipFound an issue?
Report bugs or request features on the KeYmaeraX-release issue tracker:
Open GitHub Issues