Lean on WebVM?

Stream: lean4

[Joachim Breitner]

Has anyone seen this and looked closer if this would be able to run VSCode and Lean in the browser?
https://cheerpx.io/blog/webvm-20

[Christian Merten]

cc @Pim Otte

[Pim Otte]

I've not tried this specifically, but I supervised a student project a while back based on a prior version of this tech, and the performance then was not close to what you'd need to run Lean.

I think doing a quick test is worthwhile, but I wouldn't hold my breath