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