IsaWin

swMATH4899MaRDI QIDQ17050FDOQ17050

Author name not available (Why is that?)

Described by source

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

Cited In (6)

• Title not available (Why is that?)
• Mathematical Knowledge Management
• A proof-centric approach to mathematical assistants
• Title not available (Why is that?)
• A Framework for Interactive Proof
• Verification: Theory and Practice

This page was built for software: IsaWin