1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
overlay coqhammer https://github.com/rlepigre/coqhammer br/prim-string 18973
overlay elpi https://github.com/rlepigre/coq-elpi br/prim-string 18973
overlay tactician https://github.com/rlepigre/coq-tactician br/prim-string 18973
overlay unicoq https://github.com/rlepigre/unicoq br/prim-string 18973
overlay coq_lsp https://github.com/rlepigre/coq-lsp br/prim-string 18973
overlay quickchick https://github.com/rlepigre/QuickChick br/prim-string 18973
overlay vscoq https://github.com/rlepigre/vscoq br/prim-string 18973
overlay metacoq https://github.com/rlepigre/metacoq br/prim-string 18973
overlay coq_library_undecidability https://github.com/rlepigre/coq-library-undecidability br/prim-string 18973
|
