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
[MAJOR REFACTORING] Switch to opium #137
Closed
etiennecallies closed 3 years ago
Ocsigen framework replaced by opium.
Experienced difficulties:
Successfully deployed on: https://linearon.modusponens.dev/ -> usual preprod https://ccll.linear-logic.org/ -> new preprod (chocola)