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 about 5 hours ago 1 commits
surge-bot|Mirror: RW-101/TRR3-formalization- (⭐0)
about 5 hours 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