fix: show builtin syntax kind docs for antiquotation kinds#11876
Draft
alok wants to merge 13 commits intoleanprover:masterfrom
Draft
fix: show builtin syntax kind docs for antiquotation kinds#11876alok wants to merge 13 commits intoleanprover:masterfrom
alok wants to merge 13 commits intoleanprover:masterfrom
Commits
Commits on Jan 2, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
