search

leanprover-community / repl

A simple REPL for Lean 4, returning information about errors and sorries.
54 stars 13 forks source link

fix: duplicated and misaligned messages and info trees in output #41

Closed utensil closed 1 month ago

utensil commented 1 month ago

Fixes #40

utensil commented 1 month ago

Locally, I have passed all tests. The fix works as expected, will polish the code later.