Cited in
(7)- scientific article; zbMATH DE number 1614721 (Why is no real title available?)
- ProofWidgets
- Proof-search in type-theoretic languages: An introduction
- Supporting the formal verification of mathematical texts
- SKIL
- jsCoq
- Automated deduction - CADE-17. 17th international conference, Pittsburgh, PA, USA, June 17--20, 2000. Proceedings
This page was built for software: XBarnacle
