rocq-prover / rocq-prover/platform-docs
Tutorial Primitive Project
Open
Nobody has claimed this yet.
- Dominant language
- Rocq Prover
- Stars
- 26
- Forks
- 25
- Avg merge
- 2d 22h
- Merged PRs (30d)
- 1
Description
- What it is
- What is the point, pros and cons
- When to use etc...
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No file, test, or documentation entry point is named, so first clarify what “Primitive Project” refers to and where the tutorial belongs. Define the intended audience and scope, then consider the work done when a tutorial covers what it is, its purpose, pros and cons, and when to use it.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100