Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / uds-psl/coq-library-fol issues and pull requests
#6 - Fix theory support in Proof Mode
Pull Request -
State: closed - Opened by mark-koch 8 months ago
- 1 comment
#5 - Refactoring #4
Issue -
State: open - Opened by JoJoDeveloping about 1 year ago
#4 - Tennenbaum's Theorem
Pull Request -
State: closed - Opened by HermesMarc over 1 year ago
- 4 comments
#3 - Releasing and packaging the library
Issue -
State: closed - Opened by palmskog over 1 year ago
- 5 comments
#2 - Consider changing to permissive or weak copyleft license
Issue -
State: closed - Opened by palmskog over 1 year ago
- 3 comments
#1 - Equivalence of propositional form of MP with logical Sigma_0_1 completeness
Pull Request -
State: closed - Opened by yforster almost 2 years ago
- 1 comment