/ usr / lib / python3 / dist-packages / pygments / lexers / [ HOME SHELL ] 
Name Size Permission Action
  __pycache__ [ DIR ] drwxr-xr-x  
  __init__.py 11 KB -rw-r--r--   
  _asy_builtins.py 26.65 KB -rw-r--r--   
  _cl_builtins.py 13.67 KB -rw-r--r--   
  _cocoa_builtins.py 102.72 KB -rw-r--r--   
  _csound_builtins.py 17.84 KB -rw-r--r--   
  _julia_builtins.py 11.6 KB -rw-r--r--   
  _lasso_builtins.py 131.36 KB -rw-r--r--   
  _lilypond_builtins.py 101.67 KB -rw-r--r--   
  _lua_builtins.py 8.08 KB -rw-r--r--   
  _mapping.py 62.33 KB -rw-r--r--   
  _mql_builtins.py 24.13 KB -rw-r--r--   
  _mysql_builtins.py 23.92 KB -rw-r--r--   
  _openedge_builtins.py 48.24 KB -rw-r--r--   
  _php_builtins.py 150.72 KB -rw-r--r--   
  _postgres_builtins.py 11.9 KB -rw-r--r--   
  _scilab_builtins.py 51.15 KB -rw-r--r--   
  _sourcemod_builtins.py 26.42 KB -rw-r--r--   
  _stan_builtins.py 10.21 KB -rw-r--r--   
  _stata_builtins.py 26.59 KB -rw-r--r--   
  _tsql_builtins.py 15.1 KB -rw-r--r--   
  _usd_builtins.py 1.62 KB -rw-r--r--   
  _vbscript_builtins.py 4.13 KB -rw-r--r--   
  _vim_builtins.py 55.73 KB -rw-r--r--   
  actionscript.py 11.31 KB -rw-r--r--   
  agile.py 876 B -rw-r--r--   
  algebra.py 7.59 KB -rw-r--r--   
  ambient.py 2.54 KB -rw-r--r--   
  amdgpu.py 1.57 KB -rw-r--r--   
  ampl.py 4.05 KB -rw-r--r--   
  apdlexer.py 26.04 KB -rw-r--r--   
  apl.py 3.32 KB -rw-r--r--   
  archetype.py 11.17 KB -rw-r--r--   
  arrow.py 3.47 KB -rw-r--r--   
  asc.py 1.54 KB -rw-r--r--   
  asm.py 40.19 KB -rw-r--r--   
  automation.py 19.34 KB -rw-r--r--   
  bare.py 2.97 KB -rw-r--r--   
  basic.py 27.22 KB -rw-r--r--   
  bdd.py 1.59 KB -rw-r--r--   
  bibtex.py 4.62 KB -rw-r--r--   
  boa.py 3.87 KB -rw-r--r--   
  business.py 27.4 KB -rw-r--r--   
  c_cpp.py 15.67 KB -rw-r--r--   
  c_like.py 28.45 KB -rw-r--r--   
  capnproto.py 2.17 KB -rw-r--r--   
  cddl.py 5.2 KB -rw-r--r--   
  chapel.py 4.89 KB -rw-r--r--   
  clean.py 6.24 KB -rw-r--r--   
  compiled.py 1.33 KB -rw-r--r--   
  configs.py 39.49 KB -rw-r--r--   
  console.py 4.05 KB -rw-r--r--   
  crystal.py 15.41 KB -rw-r--r--   
  csound.py 16.56 KB -rw-r--r--   
  css.py 31.15 KB -rw-r--r--   
  d.py 9.61 KB -rw-r--r--   
  dalvik.py 4.47 KB -rw-r--r--   
  data.py 23.96 KB -rw-r--r--   
  devicetree.py 3.92 KB -rw-r--r--   
  diff.py 5.04 KB -rw-r--r--   
  dotnet.py 28.47 KB -rw-r--r--   
  dsls.py 35.45 KB -rw-r--r--   
  dylan.py 10.16 KB -rw-r--r--   
  ecl.py 6.09 KB -rw-r--r--   
  eiffel.py 2.6 KB -rw-r--r--   
  elm.py 3.08 KB -rw-r--r--   
  elpi.py 5.83 KB -rw-r--r--   
  email.py 4.97 KB -rw-r--r--   
  erlang.py 18.76 KB -rw-r--r--   
  esoteric.py 10.17 KB -rw-r--r--   
  ezhil.py 3.27 KB -rw-r--r--   
  factor.py 19.12 KB -rw-r--r--   
  fantom.py 9.96 KB -rw-r--r--   
  felix.py 9.41 KB -rw-r--r--   
  floscript.py 2.6 KB -rw-r--r--   
  forth.py 6.99 KB -rw-r--r--   
  fortran.py 10.07 KB -rw-r--r--   
  foxpro.py 25.6 KB -rw-r--r--   
  freefem.py 26.43 KB -rw-r--r--   
  functional.py 674 B -rw-r--r--   
  futhark.py 3.64 KB -rw-r--r--   
  gcodelexer.py 826 B -rw-r--r--   
  gdscript.py 10.94 KB -rw-r--r--   
  go.py 3.65 KB -rw-r--r--   
  grammar_notation.py 7.83 KB -rw-r--r--   
  graph.py 3.77 KB -rw-r--r--   
  graphics.py 38.15 KB -rw-r--r--   
  graphviz.py 1.83 KB -rw-r--r--   
  gsql.py 3.68 KB -rw-r--r--   
  haskell.py 31.98 KB -rw-r--r--   
  haxe.py 30.21 KB -rw-r--r--   
  hdl.py 21.99 KB -rw-r--r--   
  hexdump.py 3.52 KB -rw-r--r--   
  html.py 19.34 KB -rw-r--r--   
  idl.py 14.87 KB -rw-r--r--   
  igor.py 29.87 KB -rw-r--r--   
  inferno.py 3.02 KB -rw-r--r--   
  installers.py 12.8 KB -rw-r--r--   
  int_fiction.py 55.32 KB -rw-r--r--   
  iolang.py 1.84 KB -rw-r--r--   
  j.py 4.4 KB -rw-r--r--   
  javascript.py 58.67 KB -rw-r--r--   
  jslt.py 3.61 KB -rw-r--r--   
  julia.py 11 KB -rw-r--r--   
  jvm.py 70.05 KB -rw-r--r--   
  kuin.py 10.5 KB -rw-r--r--   
  lilypond.py 8.26 KB -rw-r--r--   
  lisp.py 139.4 KB -rw-r--r--   
  make.py 7.26 KB -rw-r--r--   
  markup.py 26.11 KB -rw-r--r--   
  math.py 676 B -rw-r--r--   
  matlab.py 129.3 KB -rw-r--r--   
  maxima.py 2.65 KB -rw-r--r--   
  meson.py 4.33 KB -rw-r--r--   
  mime.py 7.36 KB -rw-r--r--   
  ml.py 34.47 KB -rw-r--r--   
  modeling.py 13.07 KB -rw-r--r--   
  modula2.py 51.82 KB -rw-r--r--   
  monte.py 6.14 KB -rw-r--r--   
  mosel.py 8.97 KB -rw-r--r--   
  ncl.py 62.46 KB -rw-r--r--   
  nimrod.py 5 KB -rw-r--r--   
  nit.py 2.66 KB -rw-r--r--   
  nix.py 3.91 KB -rw-r--r--   
  oberon.py 4.11 KB -rw-r--r--   
  objective.py 22.26 KB -rw-r--r--   
  ooc.py 2.91 KB -rw-r--r--   
  other.py 1.7 KB -rw-r--r--   
  parasail.py 2.65 KB -rw-r--r--   
  parsers.py 25.27 KB -rw-r--r--   
  pascal.py 31.84 KB -rw-r--r--   
  pawn.py 7.96 KB -rw-r--r--   
  perl.py 38.16 KB -rw-r--r--   
  php.py 12.25 KB -rw-r--r--   
  pointless.py 1.92 KB -rw-r--r--   
  pony.py 3.17 KB -rw-r--r--   
  praat.py 11.99 KB -rw-r--r--   
  procfile.py 1.19 KB -rw-r--r--   
  prolog.py 12.09 KB -rw-r--r--   
  promql.py 4.63 KB -rw-r--r--   
  python.py 51.49 KB -rw-r--r--   
  qvt.py 5.93 KB -rw-r--r--   
  r.py 6.02 KB -rw-r--r--   
  rdf.py 15.42 KB -rw-r--r--   
  rebol.py 18.16 KB -rw-r--r--   
  resource.py 2.83 KB -rw-r--r--   
  ride.py 4.93 KB -rw-r--r--   
  rita.py 1.16 KB -rw-r--r--   
  rnc.py 1.92 KB -rw-r--r--   
  roboconf.py 2 KB -rw-r--r--   
  robotframework.py 17.99 KB -rw-r--r--   
  ruby.py 22.14 KB -rw-r--r--   
  rust.py 7.99 KB -rw-r--r--   
  sas.py 9.2 KB -rw-r--r--   
  savi.py 4.24 KB -rw-r--r--   
  scdoc.py 2.19 KB -rw-r--r--   
  scripting.py 68.41 KB -rw-r--r--   
  sgf.py 2 KB -rw-r--r--   
  shell.py 35.06 KB -rw-r--r--   
  sieve.py 2.24 KB -rw-r--r--   
  slash.py 8.28 KB -rw-r--r--   
  smalltalk.py 7.02 KB -rw-r--r--   
  smithy.py 2.6 KB -rw-r--r--   
  smv.py 2.71 KB -rw-r--r--   
  snobol.py 2.67 KB -rw-r--r--   
  solidity.py 3.1 KB -rw-r--r--   
  sophia.py 3.29 KB -rw-r--r--   
  special.py 3.37 KB -rw-r--r--   
  spice.py 2.06 KB -rw-r--r--   
  sql.py 33.42 KB -rw-r--r--   
  srcinfo.py 1.63 KB -rw-r--r--   
  stata.py 6.26 KB -rw-r--r--   
  supercollider.py 3.61 KB -rw-r--r--   
  tcl.py 5.27 KB -rw-r--r--   
  teal.py 3.41 KB -rw-r--r--   
  templates.py 69.96 KB -rw-r--r--   
  teraterm.py 9.65 KB -rw-r--r--   
  testing.py 10.52 KB -rw-r--r--   
  text.py 1006 B -rw-r--r--   
  textedit.py 7.44 KB -rw-r--r--   
  textfmts.py 14.8 KB -rw-r--r--   
  theorem.py 19.15 KB -rw-r--r--   
  thingsdb.py 4.13 KB -rw-r--r--   
  tnt.py 10.27 KB -rw-r--r--   
  trafficscript.py 1.48 KB -rw-r--r--   
  typoscript.py 8.01 KB -rw-r--r--   
  unicon.py 18.08 KB -rw-r--r--   
  urbi.py 5.9 KB -rw-r--r--   
  usd.py 3.37 KB -rw-r--r--   
  varnish.py 7.07 KB -rw-r--r--   
  verification.py 3.82 KB -rw-r--r--   
  web.py 894 B -rw-r--r--   
  webassembly.py 5.56 KB -rw-r--r--   
  webidl.py 10.23 KB -rw-r--r--   
  webmisc.py 39.07 KB -rw-r--r--   
  whiley.py 3.89 KB -rw-r--r--   
  x10.py 1.84 KB -rw-r--r--   
  xorg.py 865 B -rw-r--r--   
  yang.py 4.42 KB -rw-r--r--   
  zig.py 3.85 KB -rw-r--r--   

${this.title}

 

  Code Editor : verification.py