-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Audit the next signed corpus release
help wantedExtra attention is neededExtra attention is neededStatus: Open.#24 In fraware/scientific-memory;Rebuild the corpus and portal independently
help wantedExtra attention is neededExtra attention is neededStatus: Open.#23 In fraware/scientific-memory;Add one claim-to-theorem mapping
help wantedExtra attention is neededExtra attention is neededStatus: Open.#22 In fraware/scientific-memory;assurance: nested PCS bundle fixture and import tests
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededpythonPull requests that update python codePull requests that update python codeStatus: Open.#21 In fraware/scientific-memory;portal: link PCS claims from assurance action nodes
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededjavascriptPull requests that update javascript codePull requests that update javascript codeStatus: Open.#20 In fraware/scientific-memory;docs: explain autonomous-science metric definitions and exclusions
documentationImprovements or additions to documentationImprovements or additions to documentationgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#19 In fraware/scientific-memory;