wvhulle@lemmy.worldB to Rust Programming@lemmy.ml · 6 days agoFrontend in Rust for mathematicslemmy.mlimagemessage-square1linkfedilinkarrow-up128arrow-down11file-text
arrow-up127arrow-down1imageFrontend in Rust for mathematicslemmy.mlwvhulle@lemmy.worldB to Rust Programming@lemmy.ml · 6 days agomessage-square1linkfedilinkfile-text
Visualizes a proof or program written in mathematical programming language Lean. Written with Rust and backend in Lean. https://codeberg.org/wvhulle/lean-tui
minus-squareedinbruhlinkfedilinkEnglisharrow-up3·6 days agoStop doing lean! Computers weren’t meant to do classic logics! Embrace rocq (formerly coq), for pure constructive logic! Plus the syntax is nicer
Stop doing lean! Computers weren’t meant to do classic logics!
Embrace rocq (formerly coq), for pure constructive logic! Plus the syntax is nicer