issues
search
ComputerAidedLL
/
click-and-collect
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
Introduce notations
#122
Closed
etiennecallies
closed
3 years ago
etiennecallies
commented
3 years ago
Not implemented yet:
[x] coq export with notations
[ ] latex notations definition
[ ] auto-prover with notations
etiennecallies
commented
3 years ago
Thanks @olaure01 👍🏻
Not implemented yet: