Post

Deskolemization: From Tableaux to Machine-Checkable Proofs

Posted Sep 13, 2025
By Julie Cailler
1 min read
talks
This post is licensed under CC BY 4.0 by the author.