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

2018

12 releases
Aug 27, 2024
KeYmaera X
4.6.2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379927
Aug 27, 2024
KeYmaera X
4.6.1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379870
Aug 27, 2024
KeYmaera X
4.4.3
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379859
Aug 27, 2024
KeYmaera X
4.6.0
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379865
Aug 27, 2024
KeYmaera X
4.5.0
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379861
Aug 27, 2024
KeYmaera X
4.4.2
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379852
Aug 27, 2024
KeYmaera X
4.4.1
Stefan Mitsch, André Platzer, Nathan Fulton, Rose Bohrer, Yong Kiam, Fabian Immler, Jan-David Quesel, Ran Ji, James Gallicchio, Marcus Völp, Enguerrand Prebet, Andrew Sogokon, LSLabBuild, Tobias Erthal, Aditi Kabra, Katherine Kosaian, Jonathan Laurent
DOI: 10.5281/zenodo.13379847
Sep 19, 2023
MESSy
2.54.0.1
The MESSy Consortium
DOI: 10.5281/zenodo.8360187
Nov 06, 2018
LiberTEM
0.1.0
Alexander Clausen, Dieter Weber, Jan Caron, Magnus Nord, Knut Müller-Caspary, Colin Ophus, Rafal Dunin-Borkowski
DOI: 10.5281/zenodo.1478763
Nov 05, 2018
LiberTEM
continuous
Alexander Clausen, Dieter Weber, Jan Caron, Magnus Nord, Knut Müller-Caspary, Colin Ophus, Rafal Dunin-Borkowski
DOI: 10.5281/zenodo.1478168
Nov 05, 2018
LiberTEM
continuous
Alexander Clausen, Dieter Weber, Jan Caron, Magnus Nord
DOI: 10.5281/zenodo.1477955
Nov 05, 2018
LiberTEM
continuous
Alexander Clausen, Dieter Weber, Jan Caron, Magnus Nord
DOI: 10.5281/zenodo.1477848