Add lean4 support - Githubissues

PrismJS / prism

Lightweight, robust, elegant syntax highlighting.

https://prismjs.com

MIT License

12.11k stars 1.27k forks source link

Add lean4 support #3734

Open ghost opened 9 months ago

ghost commented 9 months ago

Lean4 Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.

Additional resources

https://lean-lang.org/
Lean Manual https://lean-lang.org/lean4/doc/

BachoSeven commented 8 months ago

I second this, as it's a fast-growing language in its area.

reynie1514 commented 7 months ago

Please add this!

rzeta0 commented 6 days ago

Is there any progress on lean support in prism?

The 3rd party lean definition for highlight.js doesn't work when used from a CDN and the bug has been left open for over a year.