Visualizes a proof or program written in mathematical programming language Lean. Written with Rust and backend in Lean.
You must log in or # 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
