File: proof.cwl

package info (click to toggle)
texstudio 4.3.1%2Bds-2
  • links: PTS
  • area: main
  • in suites:
  • size: 74,980 kB
  • sloc: cpp: 102,721; xml: 17,126; ansic: 8,143; sh: 194; javascript: 177; makefile: 28
file content (10 lines) | stat: -rw-r--r-- 518 bytes parent folder | download | duplicates (3) 
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}#*