Lexers for theorem-proving languages.
| Unknown Field: copyright | |
| Copyright 2006-2021 by the Pygments team, see AUTHORS. | |
| Unknown Field: 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. |