Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / uds-psl/coq-library-complexity issues and pull requests
#14 - use Proper and rewrite from stdlib for monotonicity
Pull Request -
State: open - Opened by haansn08 almost 2 years ago
#14 - use Proper and rewrite from stdlib for monotonicity
Pull Request -
State: open - Opened by haansn08 almost 2 years ago
#13 - add computableTime instance for Nat.sqrt
Pull Request -
State: closed - Opened by haansn08 about 2 years ago
#13 - add computableTime instance for Nat.sqrt
Pull Request -
State: closed - Opened by haansn08 about 2 years ago
#12 - Coq 8.16 compatibility
Pull Request -
State: closed - Opened by haansn08 about 2 years ago
- 5 comments
#12 - Coq 8.16 compatibility
Pull Request -
State: closed - Opened by haansn08 about 2 years ago
- 5 comments
#11 - fix typo in README.md
Pull Request -
State: closed - Opened by haansn08 over 3 years ago
#11 - fix typo in README.md
Pull Request -
State: closed - Opened by haansn08 over 3 years ago
#10 - Improved build time
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#10 - Improved build time
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#9 - enabled dual mode for build, either via submodule or via opam, which …
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#9 - enabled dual mode for build, either via submodule or via opam, which …
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#8 - Added github-ci-badge
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#8 - Added github-ci-badge
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#7 - Update build.yml
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#7 - Update build.yml
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#6 - Added github CI
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#6 - Added github CI
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#5 - speedup
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#4 - Setup travis
Pull Request -
State: closed - Opened by yforster about 4 years ago
- 3 comments
#3 - Removed everything that is not cook-levin
Pull Request -
State: closed - Opened by fakusb about 4 years ago
#2 - Tactic refactoring
Pull Request -
State: closed - Opened by lgaeher over 4 years ago
#1 - Merge TM to SAT part of Cook proof + Clique reduction + ...
Pull Request -
State: closed - Opened by lgaeher over 4 years ago
- 3 comments