IsaWin

MaRDI QIDQ17050swMATHFDO

Official website http://www.informatik.uni-bremen.de/~cxl/tas/

Described by source

• Functional design and implementation of graphical user interfaces for theorem provers

Cited in

(9)

• Unit checking: symbolic model checking for a unit of code
• scientific article; zbMATH DE number 2086587 (Why is no real title available?)
• A proof-centric approach to mathematical assistants
• Mathematical Knowledge Management
• scientific article; zbMATH DE number 2079668 (Why is no real title available?)
• TkWinHOL
• TAS
• Proof General Kit
• A Framework for Interactive Proof

This page was built for software: IsaWin