Developing KeYmaera X

KeYmaera X is an interactive theorem prover for hybrid systems. We are looking for students who are curious about bridging the theory and practice of theorem proving and helping maintain the KeYmaera X prover codebase. We are open to students’ own ideas for improvements and also have many ideas we would be happy to discuss together.

For more information, please reach out to brieger@kit.edu.