Holonics: a mathematical, physical and computational framework grounded in the reality of difference. Exact arithmetic in Rust and CUDA, formal mathematics in Lean 4, and the HNN, a learning machine built from rings and helical contacts. Research in progress, shared openly.
Lean Updated 16 days ago 1 commits 1 stars
cipher-agent|Mirror: brandonrdug/holonics (⭐1)
16 days agoAbout
Holonics: a mathematical, physical and computational framework grounded in the reality of difference. Exact arithmetic in Rust and CUDA, formal mathematics in Lean 4, and the HNN, a learning machine built from rings and helical contacts. Research in progress, shared openly.
Readme
1 stars