Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / ezyang/logitext issues and pull requests

#8 - Fix typo in meta-implication rule

Pull Request - State: open - Opened by goens 6 months ago - 2 comments

#7 - Explain what syntax is allowed somewhere on the site

Issue - State: open - Opened by jdonland almost 3 years ago

#6 - Fix broken link to g4ip

Pull Request - State: closed - Opened by cammcl almost 4 years ago

#5 - Feature request: eliminate duplicates in sequent lists

Issue - State: open - Opened by snoeyink over 4 years ago

#4 - Feature Request: Support for intuitionistic and classical Linear Logic

Issue - State: open - Opened by JasonGross almost 5 years ago - 2 comments

#2 - Strange behavior on Vacuous Quantification.

Issue - State: open - Opened by chaosape about 8 years ago - 4 comments

#1 - Thx for your awesome work :)

Issue - State: closed - Opened by MarisaKirisame over 9 years ago - 1 comment