lean4web

lean4web is a web-based editor for the Lean theorem prover, designed for developers and mathematicians to write, compile, and interact with Lean proofs directly in a browser without local installation. It is interesting because it lowers the barrier to entry for formal verification and interactive theorem proving, enabling collaborative, real-time editing and seamless sharing of proof projects.