Ecosyste.ms: Issues

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

GitHub / IBM/FormalML issues and pull requests

#17 - CI: fixes

Pull Request - State: closed - Opened by shinnar over 1 year ago

#16 - Add support for coq 8.16.1

Pull Request - State: closed - Opened by shinnar over 1 year ago

#15 - error during make

Issue - State: open - Opened by davidenitti over 1 year ago - 10 comments

#14 - Rename

Pull Request - State: closed - Opened by kodyvajjha almost 3 years ago

#13 - Update to using new coq and newer packages

Pull Request - State: closed - Opened by shinnar about 3 years ago

#12 - Complete Lp spaces!

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

#11 - Norm contraction

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

#10 - Coq8.12

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

#9 - Genprob

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

#8 - Prove equiv_le_lt.

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

#7 - Last minute

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

#6 - Finite time

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

#5 - Update README.md

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

#4 - Build docs

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

#3 - Finish prove that the improved policy is actually an improvement.

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

#2 - Fix infrastructure

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

#1 - Update Dockerfile

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