| Server IP : 217.160.0.135 / Your IP : 216.73.217.85 Web Server : Apache System : Linux www 6.18.52-i1-ampere #1203 SMP Mon Sep 14 18:29:59 CEST 2026 aarch64 User : sws1074145052 ( 1074145052) PHP Version : 8.3.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /lib/python3/dist-packages/pygments/lexers/__pycache__/ |
Upload File : |
�
�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"