Skip to content

feat: default pp if pp expr/syntax/level without context#4433

Merged
nomeata merged 2 commits intoleanprover:masterfrom llllvvuu:feat/default_ppJun 14, 2024
+30-5

Commits