2023/09/28 by Gilles Dowek, Dowek, Gilles
Computer Science · Mathematics · #FOS: Computer and information sciences #History and Theory of Mathematics #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing
paper · pdf · doi:10.48550/arxiv.2309.16224
openalex publication_date 2023/09/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this note we compare two kinds of systems that verify the correctness of mathematical developments: roof checking and proof construction by tactics and we propose to merge them in a single system.