Skip to content
Back to pull request #1119

contra tactic and helper lemmas (in boolp.v) #31

Sign in to view logs

contra tactic and helper lemmas (in boolp.v)

contra tactic and helper lemmas (in boolp.v) #31

Triggered via pull request January 18, 2024 15:05
@proux01proux01
synchronize #1119
Status Success
Total duration 9m 34s
Artifacts –

nix-action-8.19.yml

on: pull_request_target
coq
1m 9s
coq
mathcomp-analysis
8m 0s
mathcomp-analysis
mathcomp-analysis-single
7m 34s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in