Skip to content

GitLab

Change formatting

2 jobs for !697 with big-op-impl in 7 minutes and 49 seconds (queued for 3 seconds)
detached
ea15c157
1 related merge request: !697 Add generalized implication lemma for big_sepM
Status Name Job ID Coverage
  Build
passed build-coq.8.12.2 #131359
fp

00:07:46

passed build-coq.dev #131358
fp

00:07:49