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