Ecosyste.ms: Issues

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

GitHub / ilyasergey/pnp issues and pull requests

#28 - Fix typo in "Sections and modules"

Pull Request - State: closed - Opened by j3parker over 3 years ago - 1 comment

#27 - Remove unnecessary comma

Pull Request - State: closed - Opened by j3parker over 3 years ago - 1 comment

#26 - Add opam file for the book

Issue - State: open - Opened by anton-trunov about 4 years ago

#25 - ssr-search-moved warning

Issue - State: open - Opened by anton-trunov about 4 years ago - 1 comment

#24 - non-recursive fixpoint warning

Issue - State: open - Opened by anton-trunov about 4 years ago

#23 - notation-incompatible-format warnings

Issue - State: open - Opened by anton-trunov about 4 years ago

#22 - newstuff/ directory is 5 years old :)

Issue - State: open - Opened by anton-trunov about 4 years ago

#21 - Cannot build pdf on TeX Live 2020 (macOS)

Issue - State: open - Opened by anton-trunov about 4 years ago

#19 - Print `Bool.reflect` instead of redefining it

Pull Request - State: closed - Opened by WojciechKarpiel over 4 years ago

#18 - Redefinition of `reflect` lacks View-Hints

Issue - State: closed - Opened by WojciechKarpiel over 4 years ago - 1 comment

#17 - Fix a typo in FunProg.v

Pull Request - State: closed - Opened by fangyi-zhou over 4 years ago

#16 - Fix warnings

Pull Request - State: closed - Opened by k4rtik almost 5 years ago - 6 comments

#15 - typos

Pull Request - State: closed - Opened by llelf almost 5 years ago

#14 - Various text fixes

Pull Request - State: closed - Opened by k4rtik almost 5 years ago - 2 comments

#13 - Can we have "mathcomp" tag in the repository description?

Issue - State: closed - Opened by anton-trunov over 5 years ago - 2 comments

#12 - Some minor fixes in chapter 3

Pull Request - State: closed - Opened by anton-trunov over 5 years ago

#11 - fix some typos

Pull Request - State: closed - Opened by clayrat over 5 years ago

#10 - Array.v is not typechecking on Coq 8.9.1 and Mathcomp 1.9.0

Issue - State: closed - Opened by clayrat over 5 years ago - 2 comments

#9 - Fix typo

Pull Request - State: closed - Opened by dbp over 5 years ago

#8 - Fix for Coq 8.9.0 and MathComp 1.8.0

Pull Request - State: closed - Opened by palmskog over 5 years ago

#7 - Fixes for compatibility and clarity

Pull Request - State: closed - Opened by palmskog almost 6 years ago

#6 - Fix a few small typos

Pull Request - State: closed - Opened by dbp almost 6 years ago

#5 - Port to FCSL PCM

Pull Request - State: closed - Opened by palmskog about 6 years ago

#4 - complete binary trees exercise

Pull Request - State: closed - Opened by palmskog over 6 years ago

#3 - URL and text fixes

Pull Request - State: closed - Opened by palmskog over 6 years ago

#2 - Relation to the MathComp book?

Issue - State: closed - Opened by palmskog almost 7 years ago - 1 comment

#1 - Fix build and some typos

Pull Request - State: closed - Opened by palmskog almost 7 years ago