IsaWin

swMATH4899MaRDI QIDQ17050FDOQ17050

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• Mathematical Knowledge Management
• A proof-centric approach to mathematical assistants
• Title not available (Why is that?)
• TkWinHOL
• TAS
• Proof General Kit
• A Framework for Interactive Proof

This page was built for software: IsaWin