lean4web

(β˜… 147)

Lean web editor

File Explorer

Download Latest Version (.zip)
  • .editorconfig
  • .gitignore
  • .npmrc
  • cypress.config.ts
  • ecosystem.config.cjs
  • LICENSE
  • oxfmt.config.ts
  • oxlint.config.ts
  • package-lock.json
  • package.json
  • README.md
  • SECURITY.md

# Installation Guide

1. Get the code
git clone https://github.com/leanprover-community/lean4web

Downloads the entire project code from GitHub to your computer.

cd lean4web

Moves into the project folder you just downloaded.

2. Node.js

Easy Recommended
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Node.js Node.js must be installed to use npm. The LTS version is recommended.
cd client

This project's files live in a subfolder, so move into it first.

npm install

Downloads and installs the libraries listed in package.json.

npm start

Starts the development/run server.

βœ… After running the command, open the address shown in the terminal (usually something like http://localhost:3000) in your browser.

Today's picks

RuView β˜… 91,159

Ο€ RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign moni

Rust
awesome-go β˜… 181,805

A curated list of awesome Go frameworks, libraries and software

Go
material-ui β˜… 98,885

Material UI: Comprehensive React component library that implements Google's Material Desig

JavaScript
javascript-algorithms β˜… 196,529

πŸ“ Algorithms and data structures implemented in JavaScript with explanations and links to

JavaScript
papers-we-love β˜… 108,897

Papers from the computer science community to read and discuss.

Shell
bitcoin β˜… 89,961

Bitcoin Core integration/staging tree

C++
// repository documentation