VLADIMIR VOEVODSKY, “An experimental library of formalized Mathematics based on the univalent foundations”, Math. Struct. Comp. Sci., 25, № 5, 2015, 1278
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
Aleksandr Aleksandrovich Beilinson, Alexander Semenovich Vishik, David A Kazhdan, Mikhail Mikhailovich Kapranov, Alexander Sergeevich Merkurjev, Dmitri Olegovich Orlov, Ivan Alexandrovich Panin, Andrey Aleksandrovich Suslin, Nikolai Andreevich Tyurin, Georgii Borisovich Shabat, “Владимир Александрович Воеводский (некролог)”, Успехи математических наук, 73, № 3(441), 2018, 157
María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio, Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024, 190