File: //lib/python3/dist-packages/pygments/lexers/__pycache__/theorem.cpython-311.pyc
�
�E�c�N � � � d Z ddlmZmZmZ ddlmZmZmZm Z m
Z
mZmZm
Z
mZmZ g d�Z G d� de� � Z G d� de� � Z G d � d
e� � ZdS )z�
pygments.lexers.theorem
~~~~~~~~~~~~~~~~~~~~~~~
Lexers for theorem-proving languages.
:copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS.
:license: BSD, see LICENSE for details.
� )�
RegexLexer�default�words)
�Text�Comment�Operator�Keyword�Name�String�Number�Punctuation�Generic�
Whitespace)�CoqLexer�
IsabelleLexer� LeanLexerc �> � e Zd ZdZdZdZdgZdgZdgZdZ dZ
d Zd
ZdZ
dZd
ZdZdZdZdZdefdej j fdedfdefdej fdej f ee
dd�� � ej f eedd�� � ef eedd�� � ej f ee
dd�� � ef eedd�� � ej f eedd�� � ej fdefdd� eddd� � � z efd e�de�d!e��efd"efd#e j! fd$e j"