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.