Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for proof assistant integrated development environment
integrated-development-environment
x
proof-assistant
x
3 search results found
Jscoq
⭐
496
A port of Coq to Javascript -- Run Coq in your Browser
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
Related Searches
Coq Proof Assistant (30)
Dependent Types Proof Assistant (24)
Ocaml Proof Assistant (19)
Haskell Proof Assistant (18)
Type Theory Proof Assistant (18)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.