this post was submitted on 27 Feb 2026
1 points (100.0% liked)

Rust Programming

9275 readers
24 users here now

founded 7 years ago
MODERATORS
nutomic@lemmy.ml
Joe@lemmy.ml
1
Frontend in Rust for mathematics (lemmy.ml)
submitted 3 months ago by wvhulle@lemmy.world to c/rust@lemmy.ml
0 comments fedilink hide all child comments
 

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

https://codeberg.org/wvhulle/lean-tui

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here