Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic

Posted Dec 13, 2023 Updated Jan 8, 2024

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.