'docker pull' => 'docker coq'
Open
Beginner friendly
- Dominant language
- Python
- Stars
- 1.7k
- Forks
- 46
- PR merge metrics
- No merged PRs in 30d
Description
J'ai galéré à trouver cette commande, elle n'était pas indiquée dans le lis-moi
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by reading the repository's README, where the Docker command is currently missing. Document the relationship between `docker pull` and `docker coq` so a reader can find the command, then verify the README clearly includes it.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- docker
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 1/5
- Estimated time
- Under an hour
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 65/100