8000 improved auto goal selection by mrhaandi · Pull Request #12 · charguer/tlc · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

improved auto goal selection#12

Merged
charguer merged 1 commit intocharguer:master-for-coq-cifrom
mrhaandi:auto-metas
Jul 12, 2022
Merged

improved auto goal selection#12
charguer merged 1 commit intocharguer:master-for-coq-cifrom
mrhaandi:auto-metas

Commits

Commits on Jul 11, 2022
0