lolli-viz
| Crates.io | lolli-viz |
| lib.rs | lolli-viz |
| version | 0.2.0 |
| created_at | 2025-12-04 04:41:01.459651+00 |
| updated_at | 2025-12-05 04:03:09.760174+00 |
| description | Visualization for the Lolli linear logic workbench |
| homepage | https://github.com/ibrahimcesar/lolli |
| repository | https://github.com/ibrahimcesar/lolli |
| max_upload_size | |
| id | 1965863 |
| size | 28,027 |
Ibrahim Cesar (ibrahimcesar)
documentation
README
lolli-viz
Visualization for the Lolli linear logic workbench.
Renders proofs as trees, LaTeX, and Graphviz graphs.
Output Formats
- ASCII/Unicode proof trees
- LaTeX (bussproofs package)
- Graphviz DOT
- SVG (via Graphviz)
Usage
use lolli_viz::TreeRenderer;
let renderer = TreeRenderer { unicode: true };
let output = renderer.render(&proof);
Part of Lolli
This is part of the Lolli linear logic workbench.
License
MIT