Marek

Stream: new members

[Marek Rybakiewicz]

now we're talkin, i'm happy there's a discord type thing for lean and ml methods for lean are being considered. @Kevin Buzzard you da man taught me a lot

[Notification Bot]

This topic was moved here from #Machine Learning for Theorem Proving > yes by Eric Wieser.