-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Labels
help wantedExtra attention is neededExtra attention is needed
Description
"group things by subareas: Languages, Verification, Semantics, Models, etc. (Surveys doesn't really fit with the above but would also be a nice filter.)" using categories and tags.
Also categorize these better: https://quantumpl.github.io/bib/publication/#0 (such as into software and talks, etc)
Metadata
Metadata
Assignees
Labels
help wantedExtra attention is neededExtra attention is needed