Skip to content

proof-tree-builder/proof-tree-builder.github.io

Error
Looks like something went wrong!

About

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

proof-tree-builder.github.io

Topics

javascript proof-assistant graphical-user-interface hoare-logic proof-automation sequent-calculus

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

35 stars

Watchers

1 watching

Forks

3 forks
Report repository

Releases

1 tags

Packages

No packages published

Contributors 3

Languages