KeYmaera X: People

Developers

Stefan Mitsch
Stefan Mitsch
Andre Platzer
André Platzer
Nathan Fulton
Nathan Fulton

Contributors

Yong Kiam Tan
Yong Kiam Tan
Andrew Sogokon
Andrew Sogokon
Brandon Bohrer
Brandon Bohrer
Fabian Immler
Fabian Immler
Katherine Cordwell
Katherine Cordwell

Past Contributors

Jan-David Quesel
Jan-David Quesel
Marcus Völp
Marcus Völp
Ran Ji
Ran Ji

Power Users

The KeYmaera X developers are incredibly thankful for the helpful feedback on its earlier versions from all the users everywhere, but especially the power users:
Jean-Baptiste Jeannin
Jean-Baptiste Jeannin
Yanni A. Kouskoulas
Yanni Kouskoulas
Khalil Ghorbal
Khalil Ghorbal

Primary Responsibilities

If you have a question about KeYmaera X, either ask on the KeYmaera X mailing list or directly ask the right person based on the primary responsibilities listed below.

Developers: Contributors: