Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401). - Andrej Bauer; Katja Bercic; Florian Rabe 001; Nicolas M. Thiéry; Jure Taslak (Dagstuhl Reports, 2023)

Incorporating a Database of Graphs into a Proof Assistant. - Andrej Bauer; Katja Bercic; Gauvain Devillez; Jure Taslak (CICM, 2024)