Sign in
Ctrl K
Karlsruhe Institute of Technology (KIT)

Karlsruhe Institute of Technology (KIT)

Karlsruhe, Germany

Education
Funder
www.kit.edu
ROR info
Wikipedia
Map
Software (63)Projects (7)Releases (589)About

Releases per year

2016

9 releases
Aug 27, 2024
KeYmaera X
4.3
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379654
Aug 27, 2024
KeYmaera X
4.2.2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379651
Aug 27, 2024
KeYmaera X
4.2.1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379648
Aug 27, 2024
KeYmaera X
4.2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379645
Aug 27, 2024
KeYmaera X
4.2b2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379640
Aug 27, 2024
KeYmaera X
4.2b1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379635
Aug 27, 2024
KeYmaera X
4.1b4
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379632
Aug 27, 2024
KeYmaera X
4.1b3
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, EnguerrandPrebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379628
Sep 21, 2023
MESSy
2.51
The MESSy Consortium
DOI: 10.5281/zenodo.8367075