KeYmaera X: People

Developers

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

Contributors

Brandon Bohrer
Brandon Bohrer
Jan-David Quesel
Jan-David Quesel
Yong Kiam Tan
Yong Kiam Tan
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: