class_docstr: For the Coq theorem prover.
  
  .. versionadded:: 1.5
code: def analyse_text(text):
      if "Qed" in text and "Proof" in text:
          return 1
  
file_path: catboost/contrib/python/Pygments/py3/pygments/lexers/theorem.py
imports: import re
  from pygments.lexer import RegexLexer, default, words, include
  from pygments.token import Text, Comment, Operator, Keyword, Name, String, Number, Punctuation, Generic, Whitespace
  from pygments.lexers.lean import LeanLexer
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: int