1 | \lstdefinelanguage{grafite} { |
---|

2 | mathescape=true, |
---|

3 | texcl=false, |
---|

4 | keywords={include, set}, |
---|

5 | morekeywords={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}, |
---|

11 | literate= |
---|

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 | , |
---|

56 | comment=[s]{(*}{*)}, |
---|

57 | showstringspaces=true, |
---|

58 | extendedchars=true, |
---|

59 | sensitive=false, |
---|

60 | captionpos=b, |
---|

61 | mathescape=true, |
---|

62 | %backgroundcolor=\color{gray}, |
---|

63 | frame=tblr, |
---|

64 | frameround=tttt, |
---|

65 | columns=flexible, |
---|

66 | basicstyle=\small, |
---|

67 | } |
---|

68 | |
---|