9 citations · 9 across the 1 of their papers we have counts for
1 paper
Joomy Korkut
We have developed a web-based pedagogical proof assistant, the Proof Tree Builder, that lets you apply rules upwards from the initial goal in sequent calculus and Hoare logic for a…