Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / openlogicproject/fitch-checker issues and pull requests
#16 - -E and -I justification do not parse
Issue -
State: open - Opened by leovt 5 months ago
- 1 comment
#15 - Divergence
Issue -
State: open - Opened by gimenes2008 about 2 years ago
- 2 comments
#14 - Are formulas with more than 3 quantifiers intentionally excluded?
Issue -
State: open - Opened by heidelberg1386 almost 4 years ago
- 1 comment
#13 - Add the ability to create problems from query string
Pull Request -
State: open - Opened by benburrill over 4 years ago
#12 - Allow zero-place predicates in FOL
Issue -
State: open - Opened by rzach almost 6 years ago
- 3 comments
#11 - examples contain invalid syntax
Issue -
State: open - Opened by rogpeppe almost 6 years ago
#10 - expected quantifier syntax is not clear
Issue -
State: closed - Opened by rogpeppe almost 6 years ago
- 14 comments
#9 - Can one introduce an existential twice?
Issue -
State: closed - Opened by FrankHubeny almost 6 years ago
- 1 comment
#8 - Proof shows a correct completion status with an open subproof
Issue -
State: closed - Opened by FrankHubeny about 6 years ago
- 2 comments
#7 - Order in = formulas should matter
Issue -
State: closed - Opened by rzach about 7 years ago
- 3 comments
Labels: bug
#6 - Equality elimination appears to be broken
Issue -
State: closed - Opened by esotechnica about 7 years ago
- 5 comments
Labels: bug
#5 - Document the code
Issue -
State: open - Opened by rzach over 7 years ago
- 2 comments
#4 - Modularize code
Issue -
State: open - Opened by rzach over 7 years ago
#3 - Save, load proofs
Issue -
State: open - Opened by rzach over 7 years ago
- 1 comment
#2 - Add ~, # rules for new version of Calgary remix
Issue -
State: closed - Opened by rzach over 7 years ago
- 1 comment
#1 - Renumber justifications when adding or deleting lines
Issue -
State: open - Opened by rzach over 7 years ago