Open Issues Need Help
View All on GitHub assurance: nested PCS bundle fixture and import tests about 3 hours 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 3 hours 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 3 hours ago
documentation help wanted good first issue
Buildable, machine-checkable scientific knowledge.
Python
#formal-methods#kernel#lean4#llm#reproducible-research#research-infrastructure#scientific-knowledge