THOT

swMATH26322MaRDI QIDQ38053FDOQ38053

Author name not available (Why is that?)

Cited In (1)

• lean\(T^ AP\): Lean tableau-based deduction

This page was built for software: THOT