coqutil 0.0.5/0.0.6 (#275) #635
nix-action-8.17.yml
on: push
coq
34s
HoTT
34s
LibHyps
34s
bbv
35s
coq-lsp
35s
coq-record-update
35s
coq-shell
32s
coqide
39s
coqutil
1m 33s
dpdgraph
34s
high-school-geometry
33s
itauto
37s
metalib
34s
pocklington
34s
rewriter
35s
semantics
35s
serapi
40s
smtcoq
35s
graph-theory
35s