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.
vherrmann/minlog-web-editor
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|