Cited in
(12)- Mathematical Knowledge Management
- scientific article; zbMATH DE number 2086587 (Why is no real title available?)
- Increasing the efficiency of automated theorem proving
- A criterion for the unitary congruence of conjugate-normal matrices
- A proof-centric approach to mathematical assistants
- scientific article; zbMATH DE number 2147039 (Why is no real title available?)
- Functional design and implementation of graphical user interfaces for theorem provers
- scientific article; zbMATH DE number 2079668 (Why is no real title available?)
- TkWinHOL
- IsaWin
- scientific article; zbMATH DE number 1761418 (Why is no real title available?)
- Program development schemata as derived rules
This page was built for software: TAS
