Mastodon Feed
Boosted by ratatui_rs@fosstodon.org ("Ratatui"):
orhun@fosstodon.org ("Orhun Parmaksız 👾") wrote:
Terminal now can help you with formal proofs and theorem provers 🤯
📐 **lean-tui** — A TUI for visualizing Lean programs and proofs
💯 Live proof trees, data/effect flow views & real-time updates from your editor
🦀 Written in Rust & built with @ratatui_rs
⭐ Source: https://codeberg.org/wvhulle/lean-tui
#rustlang #ratatui #tui #lean #theoremproving #cli #devtools #terminal
