source: LTS/DICE2014/lst-grafite.tex @ 3534

Last change on this file since 3534 was 3467, checked in by piccolo, 6 years ago

slides

File size: 1.8 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        {}{{$\ldots$}}1
56        {}{{$\neq$}}1
57        {}{{$\langle$}}1
58        {}{{$\rangle$}}1
59        ,
60comment=[s]{(*}{*)},
61showstringspaces=true,
62extendedchars=true,
63sensitive=false,
64captionpos=b,
65mathescape=true,
66%backgroundcolor=\color{gray},
67frame=tblr,
68frameround=tttt,
69columns=flexible,
70basicstyle=\small,
71}
72
Note: See TracBrowser for help on using the repository browser.