Skip to content
A UI Widget for Gentzen-style proof layouts
JavaScript
Branch: gh-pages
Clone or download
Latest commit bfb30d1 Oct 14, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore initial commit Jul 9, 2019
all.js Update for Gentzen-Prawitz proofs Oct 14, 2019
demo.css Add first-order sequent example. Hide JSON. Jul 26, 2019
index.html Change title Oct 14, 2019
proof.css ensure correct box-sizing Sep 3, 2019
proof.js Update for Gentzen-Prawitz proofs Oct 14, 2019
You can’t perform that action at this time.