Stream: new members
Jake (May 13 2020 at 01:39):
Bryan Gin-ge Chen (May 13 2020 at 01:41):
It's possible, but not easy. There is a webassembly version of the Lean server. See also this recent thread which is very related.
if you are adventurous enough, you might be able to use Lean 4 to convert .lean to .c
Jake (May 13 2020 at 02:42):
if this works out then maybe :slight_smile:
Last updated: May 14 2021 at 07:19 UTC