Pull requests · lenianiva/lean4-nix · GitHub

New pull request New

5 Open 58 Closed

build(ci): Add aarch64-darwin target in CI feature

#62 opened Aug 7, 2025 by lenianiva

Loading…

1

#35 opened Jan 25, 2025 by stepbrobd • Draft

6

help wanted part/manifest

#19 opened Oct 30, 2024 by wuyoli • Draft

3

ProTip! Exclude everything labeled bug with -label:bug.