Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / alexprengere/FormalSystems issues and pull requests
#4 - Support Principia Mathematica formal system?
Issue -
State: open - Opened by jsigman over 1 year ago
#3 - Fix simple typo: chech -> check
Issue -
State: open - Opened by timgates42 over 3 years ago
#2 - Bump pyyaml from 3.10 to 5.4
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#1 - Bump pyyaml from 3.10 to 5.1
Pull Request -
State: closed - Opened by dependabot[bot] over 5 years ago
- 1 comment
Labels: dependencies