📂 FileMgr
📍
/
usr
/
lib
/
python3
/
dist-packages
/
pygments
/
lexers
/
__pycache__
✏️ /usr/lib/python3/dist-packages/pygments/lexers/__pycache__/lean.cpython-312.pyc
✕ Tutup
� |�e� � �x � d Z ddlZddlmZmZmZmZ ddlmZm Z m Z mZmZm 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 dfded fdej f eddd�� ef eddd�� ej"