IsaWin

swMATH4899MaRDI QIDQ17050

No author found.

Described by source

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

Related Items (6)

Verification: Theory and Practice ⋮ A proof-centric approach to mathematical assistants ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Framework for Interactive Proof ⋮ Mathematical Knowledge Management

This page was built for software: IsaWin