Machine-checked formalization of simplicial homology over F_2 (d^2 = 0, im d <= ker d) and metric filtration properties for Relational Resolution Theory (TRR 3.0) in Lean 4.
TeX Updated 23 days ago 1 commits
surge-bot|Mirror: RW-101/TRR3-formalization- (⭐0)
23 days agoAbout
Machine-checked formalization of simplicial homology over F_2 (d^2 = 0, im d <= ker d) and metric filtration properties for Relational Resolution Theory (TRR 3.0) in Lean 4.
Readme