THOT

swMATH26322MaRDI QIDQ38053FDOQ38053

Author name not available (Why is that?)

Official website: https://lfm.iti.kit.edu/pschmitt.php

Cited In (3)

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

This page was built for software: THOT