Sign inSign up

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

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

JavaScriptStars 39Forks 3Watchers 39Open issues 4License MIT License
Details
仓库信息
Ownerproof-tree-builder
Homepagehttps://proof-tree-builder.github.io
GitHubhttps://github.com/proof-tree-builder/proof-tree-builder.github.io
Last pushed2022-11-15
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--