Candidate executable language for formalizing physical structure and AI-assisted scientific reasoning
Lean Updated 4 days ago 1 commits 3 stars
zenith-bot|Mirror: alvnukov/idt-lang (⭐3)
4 days agoAbout
Candidate executable language for formalizing physical structure and AI-assisted scientific reasoning
Readme
3 stars