Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Lean support #3765

Open
wants to merge 12 commits into
base: master
Choose a base branch
from
Open

Add Lean support #3765

wants to merge 12 commits into from

Conversation

tomaz1502
Copy link

Lean is a functional programming language and an emerging proof assistant.

https://lean-lang.org/
https://leanprover-community.github.io/

Related issue: #3734

Copy link

github-actions bot commented Jan 17, 2024

JS File Size Changes (gzipped)

A total of 1 files have changed, with a combined diff of +735 B (+100.0%).

file master pull size diff % diff
components/prism-lean.min.js 0 Bytes 735 B +735 B +100.0%

Generated by 🚫 dangerJS against c1943f7

Fix boundaries on numbers; remove unused groups; remove polynomial backtracking
@tomaz1502 tomaz1502 changed the title Lean support Add Lean support Jan 17, 2024
@rzeta0
Copy link

rzeta0 commented Jun 29, 2024

sorry i'm no expert on GitHub, but does this mean this has not been merged?

@j-loreaux
Copy link

I would like to see this merged. I think the Lean user base is large enough at this point to justify it.

@tomaz1502
Copy link
Author

tomaz1502 commented Jul 31, 2024

Me too. @RunDevelopment could you make an exception and review this PR?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants