Translations:Extension:SyntaxHighlight/1362/cs

Lean theorem prover