Author:
Hölzl Johannes,Immler Fabian,Huffman Brian
Publisher
Springer Berlin Heidelberg
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalized Functional Analysis with Semilinear Maps;Journal of Automated Reasoning;2024-06
2. Mathematics and the formal turn;Bulletin of the American Mathematical Society;2024-02-15
3. Formalising the h-Principle and Sphere Eversion;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
4. Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types;Experimental Mathematics;2022-04-03
5. An extension of the framework types-to-sets for Isabelle/HOL;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11