search

leanprover-community / repl

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

feat: JSON representation of InfoTree in output #31

Closed kim-em closed 8 months ago