Software developed during the AWE project include the AWE extensions pack, a collection of Isabelle extensions, theories, and examples. As Isabelle theories, they are completely platform-independent. You will need to have Isabelle installed, which you can download from here.
The software is available under an LGPL-like license which is included with the software.
- The AWE Extensions Pack.
This includes the actual theories, the documentation, and examples such as monads and transformations etc.
- Release 0.9.1 (for Isabelle 2009-1)
- Release 0.9 (for Isabelle 2009)
- Release 0.5 (for Isabelle 2007)
- Release 0.5 (for Isabelle 2005)
- Release 0.3 (for Isabelle 2004).
Documentation for Release 0.9, Isabelle 2009 is also available separately:
Other software developed during AWE comprises parts of the Proof General Kit, the next generation of prover interfaces.