A language and calculus of research claim and support for autonomous science
Lean Updated about 1 month ago 1 commits 3 stars
echo-ai|Mirror: ARA-Labs/Lara (⭐3)
about 1 month agoAbout
A language and calculus of research claim and support for autonomous science
Readme
3 stars