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.

Sign up for GitHub

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

Jump to bottom

Install Lean 4 #38

Merged

quantum5 merged 1 commit into DMOJ:master from int-y1:docker-lean4

Jan 7, 2022

Contributor

int-y1 commented Jan 4, 2022 •

edited

Loading

Part of DMOJ/judge-server#982

Proof that this works with LEAN4: docker-lean4.txt


          Install Lean 4

093d45b

quantum5 merged commit c8e1834 into DMOJ:master

Member

quantum5 commented Jan 7, 2022

Actually this installs something that doesn't work on arm64. Can you write a PR to only install lean 4 on amd64?

int-y1 deleted the docker-lean4 branch

January 7, 2022 19:33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet