Ulrik Buchholtz, 407, Reflections on the Foundations of Mathematics, 2019, 151
Stergios Chatzikyriakidis, Zhaohui Luo, 10054, Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016), 2016, 85
Benedikt Ahrens, Ralph Matthes, Anders Mörtberg, Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2022, 307
Landon D. C. Elkind, “Computer verification for historians of philosophy”, Synthese, 200, № 3, 2022, 198
Steve Awodey, Nicola Gambino, Kristina Sojakova, “Homotopy-Initial Algebras in Type Theory”, J. ACM, 63, № 6, 2017, 1
Moritz Lucius Sümmermann, Daniel Sommerhoff, Benjamin Rott, “Mathematics in the Digital Age: The Case of Simulation-Based Proofs”, Int. J. Res. Undergrad. Math. Ed., 7, № 3, 2021, 438
Ahmet Celik, Karl Palmskog, Milos Gligoric, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2017, 171
Siran Lei, Hao Guan, Jianguo Jiang, Yu Zou, Yongsheng Rao, “A Machine Proof System of Point Geometry Based on Coq”, Mathematics, 11, № 12, 2023, 2757
Anders Mörtberg, Loïc Pujet, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, 158
Martín Hötzel Escardó, “Injective types in univalent mathematics”, Math. Struct. Comp. Sci., 31, № 1, 2021, 89