Publisher
Cambridge University Press
Cited by
113 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated mathematics and the reconfiguration of proof and labor;Bulletin of the American Mathematical Society;2024-05-15
2. Formalising Mathematics in Simple Type Theory;Synthese Library;2019
3. A Fully Automatic Theorem Prover with Human-Style Output;Proof Technology in Mathematics Research and Teaching;2019
4. Total Haskell is reasonable Coq;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
5. A Fully Automatic Theorem Prover with Human-Style Output;Journal of Automated Reasoning;2016-06-11