-
Notifications
You must be signed in to change notification settings - Fork 719
Stdlib 2 meta issue #7711
Copy link
Copy link
Closed as not planned
Labels
kind: design discussionDiscussion about the design of a feature.Discussion about the design of a feature.kind: redesignThe same functionality is being re-implemented in a different way.The same functionality is being re-implemented in a different way.zARCHIVED: standard libraryPreviously standard library (do not use anymore, now its own repo).Previously standard library (do not use anymore, now its own repo).
Description
Metadata
Metadata
Assignees
Labels
kind: design discussionDiscussion about the design of a feature.Discussion about the design of a feature.kind: redesignThe same functionality is being re-implemented in a different way.The same functionality is being re-implemented in a different way.zARCHIVED: standard libraryPreviously standard library (do not use anymore, now its own repo).Previously standard library (do not use anymore, now its own repo).
As announced some time ago, I'm starting an Stdlib2 project. As described on the project page:
The purpose of this project is to design and implement a new standard library for Coq. It will follow a clean slate approach, not aiming at compatibility with the current library, which will be maintained separately.
Progress will be tracked here: https://github.com/orgs/coq/projects/1
Stdlib2 itself will be developped here: https://github.com/coq/stdlib2. Like for Coq, no direct pushes. We will be developping through PRs that I will merge.
I will create issues for the various design questions / discussions that are needed. Organization of the project itself can be discussed here.