43 citations · 305 across the 30 of their papers we have counts for
1 paper · 2 filters
Samuel Balco, Sabine Frittella, Giuseppe Greco +2
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively…