Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for emacs proof assistant
emacs
x
proof-assistant
x
5 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
Qrhl Tool
⭐
14
Proof assistant for qRHL
Spacesearch
⭐
8
Two Level
⭐
5
Two-Level Type Theory
Related Searches
Emacs Lisp Melpa (866)
Emacs Melpa (757)
Emacs Lisp Elisp (688)
Emacs Elisp (634)
Emacs Org Mode (569)
Vim Emacs (506)
Shell Emacs (502)
Dotfiles Emacs (461)
Emacs Lisp Org Mode (447)
Editor Emacs (422)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.