wvhulle@lemmy.worldB to Rust Programming@lemmy.ml · 2 months agoFrontend in Rust for mathematicslemmy.mlimagemessage-square1linkfedilinkarrow-up130arrow-down11file-text
arrow-up129arrow-down1imageFrontend in Rust for mathematicslemmy.mlwvhulle@lemmy.worldB to Rust Programming@lemmy.ml · 2 months 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-squareedinbruh@feddit.itlinkfedilinkEnglisharrow-up3·2 months 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