Book Chapter
Optimising Metamath Proofs for Human Working Memory
Jeremy Lindsay, Cezary Kaliszyk, Christine Rizkallah
Lecture Notes in Computer Science | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Springer Nature Switzerland | Published : 2027