ssprove 0.2.1 #574
nix-action-8.17.yml
on: pull_request_target
coq
38s
HoTT
33s
LibHyps
34s
bbv
34s
coq-record-update
38s
coq-shell
33s
coqide
39s
dpdgraph
33s
high-school-geometry
34s
itauto
34s
metalib
34s
pocklington
39s
rewriter
38s
semantics
34s
smtcoq
35s
gappalib
38s
trakt
34s
coq-hammer
35s
coq-lsp
34s
topology
32s
ElmExtraction
36s
graph-theory
36s