Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leanprover/lean4-cli issues and pull requests
#21 - chore: adaptations for v4.14.0-rc1
Pull Request -
State: closed - Opened by kim-em 3 months ago
#21 - chore: adaptations for v4.14.0-rc1
Pull Request -
State: closed - Opened by kim-em 3 months ago
#20 - feat: add qualifiers for Arg and Flag to disambiguate Cli.{Parsed.}Flag
Pull Request -
State: closed - Opened by bollu 3 months ago
- 1 comment
#20 - feat: add qualifiers for Arg and Flag to disambiguate Cli.{Parsed.}Flag
Pull Request -
State: closed - Opened by bollu 3 months ago
- 1 comment
#19 - fix: update for lean4#5842
Pull Request -
State: closed - Opened by kmill 4 months ago
#19 - fix: update for lean4#5842
Pull Request -
State: closed - Opened by kmill 4 months ago
#18 - Repeated flags?
Issue -
State: closed - Opened by gleachkr 11 months ago
- 3 comments
#18 - Repeated flags?
Issue -
State: closed - Opened by gleachkr 11 months ago
- 3 comments
#17 - "See the documentation of lake" links to an archived repo
Issue -
State: closed - Opened by girving 12 months ago
#17 - "See the documentation of lake" links to an archived repo
Issue -
State: closed - Opened by girving 12 months ago
#16 - chore: bump to nightly-2023-08-23
Pull Request -
State: closed - Opened by kim-em over 1 year ago
- 3 comments
#16 - chore: bump to nightly-2023-08-23
Pull Request -
State: closed - Opened by kim-em over 1 year ago
- 3 comments
#15 - feat: ParseableType ModuleName supporting paths or module identifiers
Pull Request -
State: closed - Opened by kim-em over 1 year ago
- 1 comment
#14 - Bump toolchain to 2022-10-27
Pull Request -
State: closed - Opened by mpenciak over 2 years ago
- 8 comments
#14 - Bump toolchain to 2022-10-27
Pull Request -
State: closed - Opened by mpenciak over 2 years ago
- 8 comments
#13 - chore: bump lean 10-20
Pull Request -
State: closed - Opened by digama0 over 2 years ago
#12 - Docstrings are not formatted correctly when served by language server
Issue -
State: closed - Opened by mhuisi over 2 years ago
- 1 comment
Labels: documentation
#11 - Fix for 2022-06-28 nightly
Issue -
State: closed - Opened by mhuisi over 2 years ago
Labels: bug
#10 - chore: update lake and toolchain
Pull Request -
State: closed - Opened by hargoniX over 2 years ago
#9 - Upgrade to lean nightly with Option monad
Pull Request -
State: closed - Opened by hargoniX over 2 years ago
- 3 comments
#8 - Add nix flake setup
Pull Request -
State: closed - Opened by Anderssorby almost 3 years ago
- 2 comments
#7 - code no longer builds with lean4 nightly
Issue -
State: closed - Opened by JasonGross almost 4 years ago
- 1 comment
#6 - leanpkg build bin fails
Issue -
State: closed - Opened by JasonGross almost 4 years ago
- 1 comment
#5 - subcommands should permit dashes
Issue -
State: closed - Opened by JasonGross almost 4 years ago
- 3 comments
#4 - Minor: No version seems to match
Issue -
State: closed - Opened by JasonGross almost 4 years ago
#3 - Please specify how to add the library to leanpkg.toml
Issue -
State: closed - Opened by JasonGross almost 4 years ago
- 2 comments
#2 - Avoiding manual conversion step & autocompletion
Issue -
State: open - Opened by mhuisi almost 4 years ago
Labels: enhancement
#1 - doc: fix type in README example
Pull Request -
State: closed - Opened by pnwamk almost 4 years ago