This manual documents the release 1.4 of the Bedwyr prover. It is organized as follows:
For a faster start, please refer to the Quick-Start Guide to Bedwyr and then read the examples in II.
The source code documentation can be found here.
The Bedwyr system is copyright © 2005-2013 Slimmer project. It is free software, licensed under the version 2 of the GNU General Public License. More details about the development can be found on the website of the Slimmer project.
The complete distribution of the system, including documentation, examples, documentation sources and links to related publications can be found on the same website. Development versions and old releases are available.