Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ramonfmir/lean-scheme issues and pull requests
#3 - adjointness of global sections map
Issue -
State: closed - Opened by kbuzzard about 5 years ago
- 10 comments
#2 - Submission
Pull Request -
State: closed - Opened by ramonfmir about 5 years ago
#1 - Presheaves refactoring
Issue -
State: closed - Opened by ramonfmir almost 6 years ago