Iris-Lean at NJPLS

Stream: iris-lean

[Markus de Medeiros]

I have been selected to give a short presentation about Iris-Lean at NJPLS next week. In my presentation I will include a slide crediting everyone who has contributed to it (PR's & informal contributions included). If for any reason you wish to not be on this slide, please let me know!