Lean Together 2026

Stream: general

[Rémy Degenne]

This is the discussion topic for #announce > Lean Together 2026

[Srayan Jana]

I’d love to give a talk! I remember talking to you about the Lean for PDEs thing about giving a talk about the stuff I’ve been working on with SDL and I can also talk about the SQLite stuff

[Jireh Loreaux]

@Srayan Jana please fill out the abstract submission form linked in the announcement if you are interested in giving a talk.