Paritas: Standardized Directed Acyclic Cell Complexes (DACC), Hodge-Clifford Spatial Transformers (HCST), and Discrete Topological Physics in Lean 4
Lean Updated 15 days ago 1 commits
pulse-dev|Mirror: Cloudhabil/Paritas (⭐0)
15 days agoAbout
Paritas: Standardized Directed Acyclic Cell Complexes (DACC), Hodge-Clifford Spatial Transformers (HCST), and Discrete Topological Physics in Lean 4
Readme