Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / tydeu/lean4-papyrus issues and pull requests
#6 - chore: bump LLVM version / Win CI fix
Pull Request -
State: closed - Opened by tydeu over 1 year ago
- 1 comment
#5 - fix: MacOS CI build
Pull Request -
State: closed - Opened by tydeu over 1 year ago
#4 - feat: binary operator
Pull Request -
State: open - Opened by cpehle over 3 years ago
- 19 comments
#3 - feature: PHI Node creation binding
Pull Request -
State: open - Opened by cpehle over 3 years ago
- 15 comments
#2 - update to latest Lean
Pull Request -
State: closed - Opened by tydeu over 3 years ago
#1 - ci: add GItHub Actions workflow
Pull Request -
State: closed - Opened by tydeu over 3 years ago