This repository contains the code for a minlog fork of the Lean 3 live editor.

You will need to install nodejs (which should include npm) to try this out locally.

npx vite

npm run build

Then copy the ./dist directory wherever you want.