material-extensions / material-extensions/vscode-material-icon-theme
[Icon Request] Coq, Agda, Isabelle and Qt
Nobody has claimed this yet.
- Dominant language
- TypeScript
- Stars
- 3k
- Forks
- 800
- Avg merge
- 3d 4h
- Merged PRs (30d)
- 10
Description
Except for Qt, they're all proof assistants.
The logo for Coq is ... a coq (https://www.openaccessgovernment.org/wp-content/uploads/2019/07/coq-logo-vector-e1563444878351.jpg). Its file extension is *.v
It seems Agda hasn't an official logo, but it is based on Haskell and could be an A in Haskell's logo. Its file extension is *.agda and *.lagda
Isabelle's logo are some building blocks toys with math on them (https://pbs.twimg.com/profile_images/793742293010382848/56k2vYR7.jpg). I am not sure but I think its file extension is *.thy
Qt is very famous (https://www.qt.io/). *.pro and *.ui are some Qt file extensions (alongisde with .cpp ones)
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
Start by locating the repository's icon definitions and asset conventions for file extensions. Add entries for Coq, Agda, Isabelle, and Qt using the extensions listed in the issue, then verify that each requested extension resolves to the intended icon in VS Code.
Written by the indexing model from the issue text.
Assessment
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100