Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / openlogicproject/fitch issues and pull requests
#10 - Added MD, MT, small arrows
Pull Request -
State: closed - Opened by RichardG-PU about 2 months ago
- 1 comment
#9 - Missed "The theorem Introduction rule"
Issue -
State: closed - Opened by ziaenezhad 3 months ago
- 1 comment
#8 - Make printing of line numbers configurable
Issue -
State: open - Opened by rzach about 1 year ago
- 1 comment
#7 - Make patching easier
Issue -
State: closed - Opened by amunn about 1 year ago
- 2 comments
#6 - Modified definition of \by to print no punctuation with empty first a…
Pull Request -
State: closed - Opened by ciandorr about 1 year ago
- 5 comments
#5 - Add one more justification: Proof by Contradiction (PC)
Pull Request -
State: closed - Opened by Linerre about 1 year ago
- 3 comments
#4 - provide fitchproof environment
Issue -
State: open - Opened by rzach about 1 year ago
- 1 comment
#3 - hook for local definitions
Issue -
State: open - Opened by rzach over 1 year ago
- 1 comment
#2 - nomath option
Issue -
State: open - Opened by rzach over 1 year ago
- 2 comments
#1 - keyval interface to settings
Issue -
State: closed - Opened by rzach over 1 year ago
- 1 comment