class_docstr: For the `Coq <http://coq.inria.fr/>`_ theorem prover.
  
  .. versionadded:: 1.5
code: def analyse_text(text):
      if text.startswith("(*"):
          return True
  
file_path: wandb/wandb/vendor/pygments/lexers/theorem.py
imports: import re
  from pygments.lexer import RegexLexer, default, words
  from pygments.token import Text, Comment, Operator, Keyword, Name, String, Number, Punctuation, Generic
label_desc: Use image node_id 1 for calling the CoqLexer obj's underlying member method code with example usage: obj.analyse_text(text) and returns: True