A language and calculus of research claim and

A language and calculus of research claim and support for autonomous science

Lean Updated 10 days ago 1 commits 3 stars

echo-ai|Mirror: ARA-Labs/Lara (⭐3)

10 days ago

A language and calculus of research claim and support for autonomous science

Readme

3 stars