submitted 6 days 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.

top 1 comments

sorted by: hot top controversial new old

[-] edinbruh@feddit.it 3 points 6 days 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

26 points (100.0% liked)

Rust Programming

9179 readers

2 users here now

founded 6 years ago

MODERATORS