Code

improved auto goal selection#128

Code

Merged

liyishuai merged 1 commit intocoq-community:mastercoq-community/coq-ext-lib:masterfrom mrhaandi:auto-metasmrhaandi/coq-ext-lib:auto-metasCopy head branch name to clipboardJul 12, 2022

Commits

Commits on Jul 11, 2022

• improved auto goal selection (see coq/#16293)

  mrhaandi

  committed
  4458007

  Copy full SHA for 4458007