Ecosyste.ms: Issues

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

GitHub / francoisschwarzentruber/prooffold issues and pull requests

#8 - Stopping the serve_forever

Pull Request - State: closed - Opened by Odalric-Ambrym almost 2 years ago

#7 - Run server without caching,

Pull Request - State: closed - Opened by Odalric-Ambrym almost 2 years ago - 1 comment

#6 - Placement of boxes

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

#5 - Background color

Issue - State: closed - Opened by francoisschwarzentruber almost 3 years ago - 1 comment

#4 - Alignment of symbols =, \leq, <=>, etc.

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

#2 - Draw implication arrows between facts

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

#1 - Add a proof about a 'not so obvious entailment in propositional logic'

Pull Request - State: closed - Opened by acorrenson almost 3 years ago - 1 comment