文件操作 - theorem.cpython-311.pyc
返回文件管理
返回主菜单
删除本文件
文件: /usr/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"