feat: improve error messages for level metavariables#4450
Closed
JovanGerb wants to merge 15 commits intoleanprover:masterfrom JovanGerb:univErrorMsgs
+253-62
Commits
Commits on Jun 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 17, 2024
- committed