Home

Welcome to the KeYmaeraX-release wiki!

For students and new users, see the User Documentation. The topics that this Wiki discusses are organized in the table of contents on the right side of this page.

If you are interested in contributing to KeYmaera X, start with Development Environment Setup and please help us maintain important code consistency by following the Coding Conventions.

Your questions, feedback, error reports, or remarks are highly appreciated. Please feel free to use the Issues tab.

Solutions to frequently asked questions are shared under Closed issues or here in the wiki.