Formalizing Cut Elimination of Coalgebraic Logics in Coq.

Hendrik Tews

Browse the full TABLEAUX paper archive.