pygments.lexers.theorem

module documentation
(source)

pygments.lexers.theorem ~~~~~~~~~~~~~~~~~~~~~~~ Lexers for theorem-proving languages. :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details.

Class CoqLexer For the Coq theorem prover.
Class IsabelleLexer For the Isabelle proof assistant.
Class LeanLexer For the Lean theorem prover.