Ecosyste.ms: Issues

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

GitHub / rzach/multlog issues and pull requests

#20 - Add itemize to doc, fix installation script (run pdflatex three times)

Pull Request - State: closed - Opened by gsalzer 7 months ago - 1 comment

#19 - Improve isIso testing

Issue - State: open - Opened by rzach over 3 years ago - 1 comment

#18 - Improve isCong congruence testing

Issue - State: open - Opened by rzach over 3 years ago - 1 comment

#17 - Representation and generation of terms

Issue - State: closed - Opened by rzach over 3 years ago - 8 comments
Labels: question

#16 - Generalize to sets as signs

Issue - State: open - Opened by rzach over 3 years ago - 2 comments
Labels: enhancement

#15 - Natural deduction rules for quantifiers broken?

Issue - State: closed - Opened by rzach over 3 years ago

#14 - Interactive mode to explore logics

Issue - State: open - Opened by rzach over 3 years ago - 2 comments
Labels: enhancement

#13 - Comment stripping from .cfg is broken

Issue - State: open - Opened by rzach over 3 years ago - 1 comment
Labels: bug

#12 - Out of global stack

Issue - State: closed - Opened by rzach over 3 years ago - 4 comments
Labels: question

#11 - Listing should strip comments from cfg file as well

Issue - State: closed - Opened by rzach over 3 years ago - 1 comment
Labels: bug

#10 - Minor changes in formatting

Pull Request - State: closed - Opened by gsalzer over 3 years ago

#9 - Fix for issue #1

Pull Request - State: closed - Opened by gsalzer over 3 years ago

#8 - Full sequent format

Issue - State: closed - Opened by rzach over 3 years ago - 1 comment
Labels: enhancement

#7 - Add abbreviation for logic

Issue - State: open - Opened by rzach over 3 years ago - 1 comment
Labels: enhancement

#6 - Present truth tables for quantifiers in a more compact way

Issue - State: open - Opened by rzach over 3 years ago - 2 comments
Labels: enhancement

#5 - Allow more ways to define operators

Issue - State: open - Opened by rzach over 3 years ago
Labels: enhancement

#4 - Add more detail to definitions of operators

Issue - State: open - Opened by rzach over 3 years ago
Labels: enhancement

#3 - Inductive definition of formulas is empty

Issue - State: closed - Opened by rzach over 3 years ago
Labels: bug

#2 - doc/README.md contains placeholders instead of version numbers

Issue - State: closed - Opened by gsalzer over 3 years ago - 1 comment
Labels: question, wontfix

#1 - SIXTEEN gives not complete error

Issue - State: closed - Opened by rzach over 3 years ago - 10 comments
Labels: bug