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