← Back
Editing: 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"