This website requires JavaScript.
Explore
Help
Sign in
TakeV
/
spacemacs
Archived
Watch
1
Star
0
Fork
You've already forked spacemacs
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
This repository has been archived on
2024-10-22
. You can view files and clone it, but cannot push or open issues or pull requests.
6de34e8b2d
spacemacs
/
layers
/
+lang
/
coq
/
img
History
…
..
coq.png