Ecosyste.ms: Issues

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

GitHub / andrejbauer/alg issues and pull requests

#15 - Manual as tex

Issue - State: open - Opened by hmltn2 over 1 year ago - 1 comment

#14 - Parser doesn't like quantifiers inside brackets

Issue - State: open - Opened by laMudri over 3 years ago

#13 - Fix for the theory of Quantales

Pull Request - State: open - Opened by ureimaa almost 4 years ago

#12 - Tarski

Pull Request - State: closed - Opened by EgbertRijke about 4 years ago

#10 - Binaries unavailable

Issue - State: open - Opened by snowleopard over 7 years ago

#9 - Introducing racks, quandles and fixing minor bugs

Pull Request - State: open - Opened by erzvtvhfm-fhjnyfxv almost 8 years ago - 1 comment

#8 - Does saving really work?

Issue - State: closed - Opened by andrejborstnik almost 11 years ago - 1 comment

#7 - Why are there two sets of evaluation functions?

Issue - State: open - Opened by andrejbauer about 11 years ago

#6 - Better `eventual_period`

Issue - State: open - Opened by andrejbauer about 11 years ago

#5 - Add locations to source code

Issue - State: open - Opened by andrejbauer about 11 years ago

#4 - Menhir

Issue - State: open - Opened by andrejbauer about 11 years ago

#3 - User better printing routines

Issue - State: open - Opened by andrejbauer about 11 years ago

#2 - Use autoconf

Issue - State: open - Opened by andrejbauer about 11 years ago

#1 - Create a stable branch

Issue - State: open - Opened by andrejbauer about 11 years ago