arXiv:2610.18204v1 Announce Type: cross Abstract: Connection-tableau provers typically construct closed tableaux by backtracking search.
← Back to all developments · Signals are a development reported by more than one source. See the methodology.