Terminal now can help you with formal proofs and theorem provers 🤯 📐 ...

2026-02-23 20:09:25 UTC

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](https://fosstodon.org/@ratatui_rs )

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

#rustlang #ratatui #tui #lean #theoremproving #cli #devtools #terminal

Author Public Key

npub1kqd77xuny2drflc957crxurnzr7aurwnaxcjjlg3erqykz3l3ssq9f7640

Seen on

wss://relay.momostr.pink

Show more details

Published at

2026-02-23 20:09:25 UTC

Kind type

1 Short Text Note

Event JSON

{ "id": "91410d98efd32e97aeabefc06879faa856460a23ac5289aa4e68b63a48dab073", "pubkey": "b01bef1b93229a34ff05a7b033707310fdde0dd3e9b1297d11c8c04b0a3f8c20", "created_at": 1771877365, "kind": 1, "tags": [ [ "imeta", "url https://cdn.fosstodon.org/media_attachments/files/116/121/754/871/502/184/original/d2e7d800a2e2f155.png", "m image/png" ], [ "t", "lean" ], [ "p", "1a747bf58293c6d5324bfbbca91240da322cb17b20c1b441edf23173371cf72d" ], [ "t", "cli" ], [ "proxy", "https://fosstodon.org/@orhun/116121755026591473", "web" ], [ "t", "ratatui" ], [ "t", "theoremproving" ], [ "t", "terminal" ], [ "t", "devtools" ], [ "t", "rustlang" ], [ "t", "tui" ], [ "proxy", "https://fosstodon.org/users/orhun/statuses/116121755026591473", "activitypub" ], [ "L", "pink.momostr" ], [ "l", "pink.momostr.activitypub:https://fosstodon.org/users/orhun/statuses/116121755026591473", "pink.momostr" ], [ "-" ] ], "content": "Terminal now can help you with formal proofs and theorem provers 🤯\n\n📐 **lean-tui** — A TUI for visualizing Lean programs and proofs\n\n💯 Live proof trees, data/effect flow views \u0026 real-time updates from your editor\n\n🦀 Written in Rust \u0026 built with [@ratatui_rs](https://fosstodon.org/@ratatui_rs )\n\n⭐ Source: https://codeberg.org/wvhulle/lean-tui\n\n#rustlang #ratatui #tui #lean #theoremproving #cli #devtools #terminal\nhttps://cdn.fosstodon.org/media_attachments/files/116/121/754/871/502/184/original/d2e7d800a2e2f155.png\n", "sig": "ff7fdb44d4e053348456a6d40c1a7686c71b57af4a668447528c4122f4b979877726d0dd3ef588b1f2da93f9011d6d7ba1c9c23c508be3209b95d30b271bccd2" }

Orhun Parmaksız 👾 on Nostr: Terminal now can help you with formal proofs and theorem provers 🤯 📐 ...