Open Issues Need Help
View All on GitHub Rebuild the corpus and portal independently about 2 months ago
help wanted
Buildable, machine-checkable scientific knowledge.
Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
Add one claim-to-theorem mapping about 2 months ago
help wanted
Buildable, machine-checkable scientific knowledge.
Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
Audit the next signed corpus release about 2 months ago
help wanted
Buildable, machine-checkable scientific knowledge.
Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
assurance: nested PCS bundle fixture and import tests about 2 months ago
enhancement help wanted python
Buildable, machine-checkable scientific knowledge.
Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
portal: link PCS claims from assurance action nodes about 2 months ago
enhancement help wanted good first issue javascript
Buildable, machine-checkable scientific knowledge.
Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge
docs: explain autonomous-science metric definitions and exclusions about 2 months ago
documentation help wanted good first issue
Buildable, machine-checkable scientific knowledge.
Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge