Rust Programming

9189 readers

4 users here now

founded 6 years ago

MODERATORS

submitted 2 weeks ago by wvhulle@lemmy.world to c/rust@lemmy.ml

Visualizes a proof or program written in mathematical programming language Lean. Written with Rust and backend in Lean.

you are viewing a single comment's thread
view the rest of the comments

[–] edinbruh@feddit.it 3 points 2 weeks ago

Stop doing lean! Computers weren't meant to do classic logics!

Embrace rocq (formerly coq), for pure constructive logic! Plus the syntax is nicer