Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / uds-psl/base-library issues and pull requests
#8 - removed some uses of ltac "now" where "solve" is meant
Pull Request -
State: closed - Opened by fakusb about 4 years ago
- 1 comment
#7 - Usage of "now" instead of "solve"
Issue -
State: closed - Opened by fakusb about 4 years ago
#6 - Make Fin.t finType instance transparent + small lemmas
Pull Request -
State: closed - Opened by lgaeher over 4 years ago
- 8 comments
#5 - PR #4 for 8.11
Pull Request -
State: closed - Opened by yforster over 4 years ago
#4 - additions to vectors/fintypes
Pull Request -
State: closed - Opened by fakusb over 4 years ago
- 3 comments
#3 - Put notations for Vector.t into a module
Pull Request -
State: closed - Opened by ghost over 4 years ago
- 2 comments
#2 - Add MIT license
Pull Request -
State: closed - Opened by yforster over 5 years ago
#1 - Changes for the extraction-framework
Pull Request -
State: closed - Opened by fakusb over 5 years ago
- 1 comment