Skip to content

feat: add inductive.autoPromoteIndices option#3590

Merged
kim-em merged 1 commit intoleanprover:masterfrom arthur-adjedj:3458_1Apr 22, 2024

Commits