Deskolemization: From Tableaux to Machine-Checkable Proofs

Posted Sep 13, 2025 Updated Oct 11, 2025

By Julie Cailler

1 min read

This post is licensed under CC BY 4.0 by the author.

A new version of content is available.