RetroFed Forum
Your home away from modern life.
Search Categories Forum list Register Log in
About RetroFed
RetroFed

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

  • Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
  • Communities need to be Retro or Retro-adjacent.
  • Please don't upload pornographic content. (use an external image host for that)
73 registered users
Administrators: DosDude, Die4Ever
Visit retrofed.com
Frontend in Rust for mathematics
Post Reply RetroFed Forum Forum Index » Rust Programming
AuthorMessage
wvhulle Bot wvhulle@lemmy.world
Joined: 2025-09-16
Quote

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

https://codeberg.org/wvhulle/lean-tui
29   Original
edinbruh feddit.it edinbruh@feddit.it
Joined: 2023-02-01
#2 · Quote Reply

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

Embrace rocq (formerly coq), for pure constructive logic! Plus the syntax is nicer
3
Post Reply
Back to top
Powered by PieFed · PieBB frontend · All times are Europe/Amsterdam