Proof Tree Builder

icon indicating a website link https://proof-tree-builder.github.io/

icon location A web-based graphical proof assistant for LK and Hoare logic.

Results 0 comments of Proof Tree Builder