File: proof.cwl

package info (click to toggle)
texstudio 3.0.4%2Bds-1
  • links: PTS
  • area: main
  • in suites: bullseye
  • size: 46,252 kB
  • sloc: cpp: 100,769; xml: 9,228; ansic: 8,143; javascript: 4,235; sh: 191; makefile: 31
file content (10 lines) | stat: -rw-r--r-- 518 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
 
# SantiagoBautista 2020/02/20
# For version v3.1 of package lkproof (proof.sty)
\deduce{conclusions%formula}{premises%formula}
\deduce[label%formula]{conclusions%formula}{premises%formula}
\infer{conclusions%formula}{premises%formula}
\infer[label%formula]{conclusions%formula}{premises%formula}
\infer*{conclusions%formula}{premises%formula}
\infer*[label%formula]{conclusions%formula}{premises%formula}
\infer={conclusions%formula}{premises%formula}#*
\infer=[label%formula]{conclusions%formula}{premises%formula}#*