THOT

MaRDI QIDQ38053swMATHFDO

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