Hi, thanks for Streamlit!
I have a question regarding syntax highlighting for languages. I want to use syntax highlighting for Lean4. I checked the documentation regarding the same and this language is not present in the list.
I have made an issue here, Lean4 has its Highlight.js file here.
But that repository is VERY less activity in terms of commits and I need this support ASAP.
How can I support the lean syntax highlighting? Pls share.
These cookies are necessary for the website to function and cannot be switched off. They are usually only set in response to actions made by you which amount to a request for services, such as setting your privacy preferences, logging in or filling in forms.
These cookies allow us to count visits and traffic sources so we can measure and improve the performance of our site. They help us understand how visitors move around the site and which pages are most frequently visited.
These cookies are used to record your choices and settings, maintain your preferences over time and recognize you when you return to our website. These cookies help us to personalize our content for you and remember your preferences.
These cookies may be deployed to our site by our advertising partners to build a profile of your interest and provide you with content that is relevant to you, including showing you relevant ads on other websites.