overlay aac_tactics https://github.com/SkySkimmer/aac-tactics erelevance 18938

overlay atbr https://github.com/SkySkimmer/atbr erelevance 18938

overlay coinduction https://github.com/SkySkimmer/coinduction erelevance 18938

overlay coqhammer https://github.com/SkySkimmer/coqhammer erelevance 18938

overlay elpi https://github.com/SkySkimmer/coq-elpi erelevance 18938

overlay equations https://github.com/SkySkimmer/Coq-Equations erelevance 18938

overlay lean_importer https://github.com/SkySkimmer/coq-lean-import erelevance 18938

overlay mtac2 https://github.com/SkySkimmer/Mtac2 erelevance 18938

overlay paramcoq https://github.com/SkySkimmer/paramcoq erelevance 18938

overlay serapi https://github.com/SkySkimmer/coq-serapi erelevance 18938

overlay smtcoq https://github.com/SkySkimmer/smtcoq erelevance 18938

overlay stalmarck https://github.com/SkySkimmer/stalmarck erelevance 18938

overlay tactician https://github.com/SkySkimmer/coq-tactician erelevance 18938

overlay waterproof https://github.com/SkySkimmer/coq-waterproof erelevance 18938

overlay itauto https://gitlab.inria.fr/ggilbert/itauto erelevance 18938

overlay unicoq https://github.com/SkySkimmer/unicoq erelevance 18938

overlay metacoq https://github.com/SkySkimmer/metacoq erelevance 18938

overlay relation_algebra https://github.com/SkySkimmer/relation-algebra erelevance 18938
