Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for emacs lisp proof general
emacs-lisp
x
proof-general
x
3 search results found
Pg
⭐
461
This repo is the new home of Proof General
Company Coq
⭐
327
A Coq IDE build on top of Proof General's Coq mode
Xcode Theme
⭐
11
Xcode theme for Emacs
Related Searches
Emacs Lisp Melpa (866)
Emacs Lisp Elisp (688)
Dotfiles Emacs Lisp (469)
Emacs Lisp Org Mode (447)
Theme Emacs Lisp (367)
Emacs Lisp Spacemacs (355)
Emacs Lisp Helm (298)
Emacs Lisp Evil (236)
Git Emacs Lisp (220)
Emacs Lisp Completion (218)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.
