Isabelle

Isabelle
All Links

Share this:

Details of Isabelle

About Isabelle
Isabelle- A generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). Includes logic, documentation and free download.
Meetings