Testers for a terminal-only info view for Lean

Stream: general

[Willem vanhulle]

Hi, I've been working on this project for two weeks now. It is a terminal-only info view / visualization tool for proofs (and programs). Front-end is in Rust and back-end is in Lean.

I haven't had much user feedback yet, so if you have some spare time and love working in the terminal (not VS Code) with Lean, please have a try and let me know your feedback!

Here is a screenshot of the semantic tableau display mode in action (similar to paperproof):

semantic_tableau.png

You can installed it from here https://crates.io/crates/lean-tui

We can continue the discussion in the dedicated thread #Editors & UIs > Lean-TUI (self-contained infoview)