Using Lean as the brain on the front end?

Stream: new members

[Jake]

Let's say I have a web app that has a current state State accepts input from the user Input. I'm leaving out all the encoding and decoding that would be involved, but I want lean to handle the logic, ie i send the State and the Input to Lean and then Lean sends me back a new State. Can I do this on the front end somehow (is there a javascript version of Lean I could communicate with) or do I have to do this server-side?

[Bryan Gin-ge Chen]

It's possible, but not easy. There is a webassembly version of the Lean server. See also this recent thread which is very related.

[Nam]

if you are adventurous enough, you might be able to use Lean 4 to convert .lean to .c

[Jake]

if this works out then maybe :slight_smile: