Skip to content
<awesome-gh-repos>
vic

olivierverdier/spacemacs-coq

A very simple coq layer for spacemacs
Source code at GitHub null
olivierverdier/spacemacs-coq.json
{
  "createdAt": "2016-01-26T13:45:27Z",
  "defaultBranch": "master",
  "description": "A very simple coq layer for spacemacs",
  "fullName": "olivierverdier/spacemacs-coq",
  "homepage": null,
  "language": "Emacs Lisp",
  "name": "spacemacs-coq",
  "pushedAt": "2019-06-20T17:10:08Z",
  "stargazersCount": 37,
  "topics": [],
  "updatedAt": "2025-07-24T21:45:10Z",
  "url": "https://github.com/olivierverdier/spacemacs-coq"
}

404: Not Found