All Git Users → proof-tree-builder

1 open source projects by proof-tree-builder

[ Open user page on Github ]

1. proof-tree-builder.github.io

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

✭ 17

javascript HTML PEG.js graphical-user-interface hoare-logic proof-automation sequent-calculus

1-1 of 1 user projects