🇱 Check the message tree to explore errors in Lean 4 - Githubissues

RedPRL / asai

🩺 A library for compiler diagnostics

https://ocaml.org/p/asai

Apache License 2.0

35 stars 2 forks source link

🇱 Check the message tree to explore errors in Lean 4 #152

Open favonia opened 3 months ago