Similar repositories to anton-trunov/spacemacs-coq: