A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
GNU Lesser General Public License v2.1
17
stars
2
forks
source link
Green background not large enough for large complete proofs #73
Closed
olaure01 closed 3 years ago
If the proof is large, the green background might not cover the whole proof.
See https://click-and-collect.linear-logic.org/?s=1%261%261%261%261%261%261%261&auto_reverse=1