shell bypass 403
UnknownSec Shell
:
/
usr
/
lib
/
python3
/
dist-packages
/
pygments
/
lexers
/
__pycache__
/ [
drwxr-xr-x
]
upload
mass deface
mass delete
console
info server
name :
lean.cpython-312.pyc
� |�e� � �x � d Z ddlZddlmZmZmZmZ ddlmZm Z m Z m Z m Z m Z mZmZmZmZ dgZ G d� de� ZeZy)z� pygments.lexers.lean ~~~~~~~~~~~~~~~~~~~~ Lexers for the Lean theorem prover. :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � N)� RegexLexer�default�words�include) �Text�Comment�Operator�Keyword�Name�String�Number� Punctuation�Generic� Whitespace� Lean3Lexerc � � e Zd ZdZdZdZddgZdgZddgZd e fd e j d fd e d fde j f eddd�� ef eddd�� ej" f eddd�� ej$ f ed� efdefdej, fdej, fdej, fde j. dfde j0 fd ej2 fd ej4 j6 fg ed dd�� ej8 f ed dd�� ej: fd ej: d!f ed"d�#� ef e d$� gd%ej: d&f e d$� gd'e j> fd e j> d(fd)e j> d&fd*e j> fgd'e j fd)e j d&fd*e j fgd+e j. fd,e j@ fde j. d&fgd-�Z!y.)/r zC For the Lean 3 theorem prover. .. versionadded:: 2.0 �Leanz,https://leanprover-community.github.io/lean3�lean�lean3z*.leanz text/x-leanz text/x-lean3z\s+z/--� docstringz/-�commentz--.*?$)�forall�fun�Pi�from�have�show�assume�suffices�let�if�else�then�in�with�calc�match�doz\b)�prefix�suffix)�sorry�admit)�Sort�Prop�Type)�(�)�:�{�}�[�]u ⟨u ⟩u ‹u ›u ⦃u ⦄z:=�,z�[A-Za-z_\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2100-\u214f][.A-Za-z_\'\u03b1-\u03ba\u03bc-\u03fb\u1f00-\u1ffe\u2070-\u2079\u207f-\u2089\u2090-\u209c\u2100-\u214f0-9]*z0x[A-Za-z0-9]+z0b[01]+z\d+�"�stringz='(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})|.)'z[~?][a-z][\w\']*:z\S)�import�renaming�hiding� namespace�local�private� protected�sectionr �omitrA r@ �export�open� attribute)(�lemma�theorem�def� definition�example�axiom�axioms�constant� constants�universe� universes� inductive� coinductive� structure�extends�class�instance� abbreviationznoncomputable theory� noncomputable�mutual�metarE � parameter� parameters�variable� variables�reserve� precedence�postfixr) �notation�infix�infixl�infixr�begin�by�end� set_option�run_cmdz@\[rE )z#evalz#checkz#reducez#exitz#printz#help)r* � expressionz\]z#popz[^/-]z#pushz-/z[/-]z[^\\"]+z9(?:(\\[\\\"'nt])|(\\x[0-9a-fA-F]{2})|(\\u[0-9a-fA-F]{4})))rk �rootrE r r r9 N)"�__name__� __module__� __qualname__�__doc__�name�url�aliases� filenames� mimetypesr r �Docr �Singler r r �Errorr/ r r r �Integer�Double�Char�Variable�Builtin�Pseudo� Namespace� Declarationr � Multiline�Escape�tokens� � �6/usr/lib/python3/dist-packages/pygments/lexers/lean.pyr r s~ � �� �D� 8�C��w� �G�� �I� ��/�I� �T�N� �V�Z�Z�� -� �G�Y� '� ���� '� � � �� /� 18� 9� �%�e�E� B�G�M�M� R� �+�E�%� H�'�,�,� W� � � �� �=�>B� D� ���� /� �� � � (� �V�^�^� $� �6�=�=�(� +� M�v�{�{� [� !�4�=�=� 1� �D�L�L�'�'� (�1 �6 � � �E� +� -4�,=�,=� ?� � �0 �E�1+�0 -4�,?�,?�1 A�2 �W�(�(�+� 6� � � � � &� '� �L� !�S* �X �G�'�'�� 0� �L� !� � �w�(�(� )� �G�%�%�w� /� �G�%�%�v� .� �g�'�'� (� � �v�z�z� "� �F�J�J�� '� �f�j�j� !� � �� � � '� I�6�=�=� Y� �&�-�-�� (� �kZ�Fr� )rp �re�pygments.lexerr r r r �pygments.tokenr r r r r r r r r r �__all__r � LeanLexerr� r� r� �<module>r� sC ��� � >� >�-� -� -� �.��f�� f�P � r�
© 2026 UnknownSec