Rust Programming

9189 readers

7 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.

top 1 comments

sorted by: hot top controversial new old

[–] 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