Condensed Mathematics in Lean 4
Published:
Contributed to two projects of Condensed Mathematics formalization during the Copenhagen Master Class (joint with Jon Eugster and Dagur Tómas Ásgeirsson)
Published:
Contributed to two projects of Condensed Mathematics formalization during the Copenhagen Master Class (joint with Jon Eugster and Dagur Tómas Ásgeirsson)