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
[Full axiom expansion] error #152
Closed
olaure01 closed 3 years ago
On current version with two buttons for axiom expansion, clicking on the full expansion button generates an error:
http://localhost:3000/?s=1%2C_&proof_transformation=1&p=XQAAgAD%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwA9iIoHZADSvL4AO2WnajJ4cSZ3uOM1Jm1oajsTKyplYJRznF%2BoQYtrrZCf48RazYv1jrwbTKRAS7%2FaGotS%2BpB3g2dvOyEE%2BM3yiGwRivPEVyQCJWj6KAqkmk2q2oziulOM37qpcPYhleXH2v%2BxP2AA