Ecosyste.ms: Issues

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

GitHub / coq/stdlib2 issues and pull requests

#29 - Adapt to coq/coq#18352 (ltacX_common_plugin)

Pull Request - State: closed - Opened by SkySkimmer 10 months ago - 1 comment

#29 - Adapt to coq/coq#18352 (ltacX_common_plugin)

Pull Request - State: closed - Opened by SkySkimmer 10 months ago - 1 comment

#28 - Remove "x : T" notation

Pull Request - State: closed - Opened by proux01 about 1 year ago

#28 - Remove "x : T" notation

Pull Request - State: closed - Opened by proux01 about 1 year ago

#27 - Adapt w.r.t coq/coq#16004

Pull Request - State: closed - Opened by Alizter over 2 years ago - 1 comment

#27 - Adapt w.r.t coq/coq#16004

Pull Request - State: closed - Opened by Alizter over 2 years ago - 1 comment

#25 - adapt to coq/coq#15220

Pull Request - State: closed - Opened by gares almost 3 years ago - 1 comment

#25 - adapt to coq/coq#15220

Pull Request - State: closed - Opened by gares almost 3 years ago - 1 comment

#24 - It seems I have a short proof of P=NP - check it

Issue - State: closed - Opened by vporton over 3 years ago - 2 comments

#24 - It seems I have a short proof of P=NP - check it

Issue - State: closed - Opened by vporton over 3 years ago - 2 comments

#23 - [coq] Adapt to coq/coq#12218

Pull Request - State: closed - Opened by proux01 over 4 years ago - 3 comments

#22 - Should auto-generated schemes be moved inside there own modules/records

Issue - State: open - Opened by Matafou over 4 years ago - 2 comments

#22 - Should auto-generated schemes be moved inside there own modules/records

Issue - State: open - Opened by Matafou over 4 years ago - 2 comments

#21 - [coq] Adapt to coq/coq#11948

Pull Request - State: closed - Opened by proux01 over 4 years ago - 2 comments

#21 - [coq] Adapt to coq/coq#11948

Pull Request - State: closed - Opened by proux01 over 4 years ago - 2 comments

#20 - Compatibility with std++ ?

Issue - State: open - Opened by spitters over 4 years ago - 3 comments

#20 - Compatibility with std++ ?

Issue - State: open - Opened by spitters over 4 years ago - 3 comments

#19 - Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)

Pull Request - State: closed - Opened by SimonBoulier almost 5 years ago - 1 comment

#19 - Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)

Pull Request - State: closed - Opened by SimonBoulier almost 5 years ago - 1 comment

#18 - [coq] Adapt to coq/coq#8764

Pull Request - State: closed - Opened by proux01 over 5 years ago - 1 comment

#18 - [coq] Adapt to coq/coq#8764

Pull Request - State: closed - Opened by proux01 over 5 years ago - 1 comment

#17 - Universes

Issue - State: open - Opened by Zimmi48 over 5 years ago - 10 comments

#16 - Fix CONTRIBUTING link in README

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

#15 - Finite maps and finite sets

Issue - State: open - Opened by jakobbotsch over 5 years ago - 3 comments

#14 - Stdlib2: get started

Pull Request - State: closed - Opened by vbgl over 5 years ago - 18 comments

#13 - discussion of modularity mechanisms

Issue - State: open - Opened by andres-erbsen almost 6 years ago - 7 comments

#12 - Make the roadmap of the library more explicit and add dates

Issue - State: open - Opened by Zimmi48 about 6 years ago - 5 comments

#11 - Policy for the superficial layout (spacing, newlines, ...).

Issue - State: open - Opened by herbelin about 6 years ago - 5 comments

#10 - Plan for backwards compatibility and deprecation

Issue - State: open - Opened by langston-barrett over 6 years ago - 3 comments

#9 - Add README. Fixes #8

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

#7 - What should go in stdlib?

Issue - State: open - Opened by gmalecha over 6 years ago - 10 comments

#6 - Strict behavior for hint databases

Issue - State: open - Opened by Zimmi48 over 6 years ago - 8 comments

#5 - all functions should come with parametricity proofs

Issue - State: open - Opened by andres-erbsen over 6 years ago - 2 comments

#4 - one smallest partial equivalence relation for each type

Issue - State: open - Opened by andres-erbsen over 6 years ago - 12 comments

#3 - What should go in the prelude?

Issue - State: open - Opened by maximedenes over 6 years ago - 6 comments

#2 - Naming conventions

Issue - State: open - Opened by maximedenes over 6 years ago - 10 comments

#1 - Stdlib2 license

Issue - State: closed - Opened by maximedenes over 6 years ago - 4 comments