Geeks
try-skycn
/
WorldModel
A philosophical thinking in Lean.
Primary Language
Lean
MIT License
MIT
WorldModel GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
World Model
A philosophical thinking in Lean.