Post #3012632
2026-05-25 01:54 UTC
Someone made a Lean Jupyter kernel! https://github.com/Verilean/xeus-lean/
I don't really like Jupyter notebooks but this is still super exciting because they figured out how to build Lean for WASM which could be really useful!
Replies (0)
No replies.