Ecosyste.ms: Issues

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

GitHub / langston-barrett/coq-big-o issues and pull requests

#6 - Source and target

Pull Request - State: closed - Opened by langston-barrett almost 8 years ago

#5 - Generalize and simplify?

Issue - State: closed - Opened by langston-barrett almost 8 years ago - 1 comment

#4 - add lemmas about composition

Pull Request - State: closed - Opened by langston-barrett about 8 years ago

#3 - Where does composition fit in?

Issue - State: closed - Opened by langston-barrett about 8 years ago

#2 - Can Big Theta be extended to a StrongSetoid?

Issue - State: open - Opened by langston-barrett about 8 years ago

#1 - Fix documentation build

Issue - State: open - Opened by langston-barrett about 8 years ago