source: Deliverables/D4.4/lst-grafite.tex @ 3261

Last change on this file since 3261 was 3127, checked in by piccolo, 8 years ago

report on general proof

File size: 1.7 KB
Line 
1\lstdefinelanguage{grafite} {
2mathescape=true,
3texcl=false,
4keywords={include, set},
5morekeywords={record, with, match, let, rec, corec, inductive, definition, axiom,
6        qed, intro, intros, symmetry, simplify, rewrite, apply, elim, assumption,
7        left, cut, cases, auto, right, coercion, split, lemma, theorem, skip,
8        by, done, we, conclude, assume, need, to, prove, unfold, return, and,
9        notation, interpretation, lapply, repeat, try, as, clear, in},
10%emph={[1]Type, Prop, nat, real}, emphstyle={[1]\textit},
11literate=       
12        {->}{{$\to$}}3         
13        {:>}{{$\mathrm{:>}$}}1         
14        {>->}{{$\mapsto$}}2             
15        {<=}{{$\leq$}}2                 
16        {>=}{{$\geq$}}2         
17        {<>}{{$\neq$}}1
18        {\\/}{{$\vee$}}1               
19        {<->}{{$\leftrightarrow$}}2
20        {FORALL\ }{{$\forall\,$}}1             
21        {EXISTS\ }{{$\exists\,$}}1
22        {ALPHA}{{$\alpha$}}1
23        {LAMBDA}{{$\lambda\,$}}1
24        {LANGLE}{{$\langle$}}1
25        {RANGLE}{{$\rangle$}}1
26        {EQUIV}{{$\equiv$}}1
27        {SIGMA}{{$\Sigma$}}1
28        {PSI}{{$\Psi$}}1
29        {DOTS}{{$\ldots$}}1
30        {NOT}{{$\neg$}}1
31        {\\in}{{$\in$}}1
32        {/\\}{$\land$}1
33        {=>}{{$\,\Rightarrow\,$}}1
34        {}{{:=}}1
35        {δ}{{$\delta$}}1
36        {λ}{{$\lambda\,$}}1
37        {}{{$\nleq\,$}}1
38        {}{{$\lor\,$}}1
39        {}{{$\approx\,$}}1
40        {}{{$\forall\,$}}1
41        {}{{$\exists\,$}}1
42        {}{{$\leadsto\,$}}1
43        {}{{$\rightarrow\,$}}1
44        {}{{$\land\,$}}1
45        {}{{$\leq\,$}}1
46        {¬}{{$\lnot\,$}}1
47        {}{{$\ll\,$}}1
48        {}{{$\gg\,$}}1
49        {}{{$\,\Rightarrow$}}1
50        {}{{$\vdash$}}1
51        {...}{{$\ldots$}}1
52        {}{{$\mathbb{N}$}}1
53        {Σ}{{$\Sigma$}}1
54        {}{{$\bigotimes$}}1
55        ,
56comment=[s]{(*}{*)},
57showstringspaces=true,
58extendedchars=true,
59sensitive=false,
60captionpos=b,
61mathescape=true,
62%backgroundcolor=\color{gray},
63frame=tblr,
64frameround=tttt,
65columns=flexible,
66basicstyle=\small,
67}
68
Note: See TracBrowser for help on using the repository browser.