jonaprieto/lean-grip-diagnostics
Rich source-annotated diagnostics for Grip parser failures
Topic: source-annotations
2 repositories
jonaprieto/lean-termcolor-diagnostics
Source-annotated diagnostics and rich error reporting for Lean 4 CLI tools
2 repositories
Rich source-annotated diagnostics for Grip parser failures
Source-annotated diagnostics and rich error reporting for Lean 4 CLI tools