Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / openlogicproject/bussproofs-extra issues and pull requests
#6 - Deduce should make sure fCenter is set in math mode
Issue -
State: open - Opened by rzach almost 5 years ago
#5 - Scale deduction dots with proofs
Issue -
State: open - Opened by rzach almost 6 years ago
- 1 comment
#4 - XxxSubproofLabel doesn't take labels into account
Issue -
State: closed - Opened by rzach almost 6 years ago
- 1 comment
#3 - Allow for adjustment of lenght/number of dots
Issue -
State: closed - Opened by norbusan over 10 years ago
- 4 comments
#2 - Get rid of space around deductions
Issue -
State: open - Opened by rzach over 10 years ago
#1 - Allow shifting of deduction dots
Issue -
State: open - Opened by rzach almost 11 years ago