chore: Update Lean4 upstream to unofficial flake #115

Open
aniva wants to merge 3 commits from misc/build into dev
Owner
https://github.com/lenianiva/lean4-nix
aniva added the
category
organization
label 2024-10-14 21:30:48 -07:00
aniva self-assigned this 2024-10-14 21:30:48 -07:00
aniva added 1 commit 2024-10-14 21:30:48 -07:00
aniva added 1 commit 2024-10-26 13:49:25 -07:00
aniva added 1 commit 2024-10-26 17:52:48 -07:00
Author
Owner

Pending fix of darwin builds of Lean v4.12.0

Pending fix of darwin builds of Lean v4.12.0
This pull request can be merged automatically.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
Sign in to join this conversation.
No description provided.