Skip to content

More eager-resolution refinements#151

Merged
Kha merged 2 commits intoleanprover:masterfrom Kha:push-orwwmulzxozuDec 11, 2024

Commits

Commits on Dec 11, 2024