Visualizes a proof or program written in mathematical programming language Lean. Written with Rust and backend in Lean.
You must log in or register to comment.
Stop doing lean! Computers weren’t meant to do classic logics!
Embrace rocq (formerly coq), for pure constructive logic! Plus the syntax is nicer
