KeYmaera X: People

Developers

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

Contributors

Brandon Bohrer
Brandon Bohrer
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 early versions from their 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: