Add new tactic "ensatz" for proving polynomial equalities with existential quantifier #105
Triggered via pull request
November 17, 2025 14:10
lyonel2017
lyonel2017
synchronize
#160
Status
Success
Total duration
1h 47m 50s
Artifacts
–
nix-action-rocq-9.1.yml
on: pull_request_target
rocq-core
1m 6s
stdlib-warnings
4m 3s
argosy
1m 49s
atbr
2m 22s
bbv
1m 50s
coinduction
1m 30s
coqutil
2m 16s
dpdgraph-test
1m 34s
equations
1m 39s
flocq
2m 36s
itauto
2m 47s
kami
4m 26s
neural-net-coq-interp
2m 0s
paramcoq-test
1m 32s
rocq-lean-import
1m 38s
smtcoq
2m 1s
stdpp
2m 44s
tlc
1m 46s
waterproof
2m 9s
stdlib-refman-html
3m 53s
rocq-elpi-test
2m 17s
quickchick-test
2m 32s
http
3m 54s
fcsl-pcm
3m 8s
Verdi
2m 4s
mathcomp-word
1m 53s
deriving
2m 6s
mathcomp-algebra-tactics
3m 54s
mathcomp
1m 15s
mathcomp-analysis-stdlib
17m 8s