Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)
Authors: Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane
Paper Information
| Title: | Goéland: A Concurrent Tableau-Based Theorem Prover (System Description) |
| Authors: | Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Automated Theorem Proving, Tableaux, Concurrency |
| Pages: | 10 |
| Talk: | Aug 09 09:35 (Session 100D: Choices, Substitutions and Formalizations) |
| Paper: |  |