show-and-tell

Stream: new members

[Splines]

Hey, sorry if this is the wrong thread, I'm very new here. Just wanted to let you know that I've just published a video on continuous functions formalized in Lean4 here at the level of Analysis 1.