TY  - RPRT
TI  - A Proof Tree Builder for Sequent Calculus and Hoare Logic
AU  - Joomy Korkut
PY  - 2023
DO  - 10.4204/eptcs.375.5
UR  - https://arxiv.org/abs/2303.05865
ID  - 2303.05865
ER  -