Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / evhub/pyprover issues and pull requests
#6 - Bug in expressions with quantifiers
Issue -
State: open - Opened by TheAeryan over 1 year ago
Labels: bug
#5 - Documentation
Issue -
State: open - Opened by fatenlouati almost 2 years ago
#4 - bugs in find_unification?
Issue -
State: closed - Opened by rudaoshi over 2 years ago
- 3 comments
Labels: enhancement
#3 - proves_and_proved_by might be wrong?
Issue -
State: closed - Opened by qzhongmun over 2 years ago
- 3 comments
Labels: bug
#2 - Proof System Diagrams
Issue -
State: open - Opened by daegontaven over 3 years ago
- 1 comment
Labels: enhancement
#1 - update for adding hashing and sorting operators to classes
Pull Request -
State: closed - Opened by vermavineet-google over 3 years ago
- 6 comments
Labels: enhancement