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