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

1 comments fedilink hide all child comments

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

this post was submitted on 27 Feb 2026

29 points (96.8% liked)

Rust Programming

9189 readers

2 users here now

founded 6 years ago

MODERATORS