Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq proof assistant
coq
x
proof-assistant
x
20 search results found
Coq
⭐
4,501
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Jscoq
⭐
496
A port of Coq to Javascript -- Run Coq in your Browser
Pg
⭐
461
This repo is the new home of Proof General
Vst
⭐
407
Verified Software Toolchain
Company Coq
⭐
327
A Coq IDE build on top of Proof General's Coq mode
Proofs
⭐
278
My personal repository of formally verified mathematics.
Coqtail
⭐
233
Interactive Coq Proofs in Vim
Fiat
⭐
141
Mostly Automated Synthesis of Correct-by-Construction Programs
Kami
⭐
130
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
Coq Serapi
⭐
119
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Coq_jupyter
⭐
89
Jupyter kernel for Coq
Mlang
⭐
60
Towards changing things and see if it proofs
Pumpkin Pi
⭐
49
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Spacemacs Coq
⭐
40
A very simple coq layer for spacemacs
Libhyps
⭐
18
A Coq library providing tactics to deal with hypothesis
Coq.vim
⭐
16
Pathogen-compatible distribution of Vicent Aravantinos' vim scripts for Coq.
Easier Proofs
⭐
14
A project which aim to help engineers to make proves easily
Spacesearch
⭐
8
Vstyle
⭐
7
A style guide for Coq
Gentzen
⭐
6
A beginner's theorem prover
Engine Bench
⭐
5
Benchmarks for various proof engines
Related Searches
Ocaml Coq (163)
Types Coq (81)
Haskell Coq (63)
Definition Coq (53)
Calculus Coq (50)
Coq Mathcomp (38)
Paper Coq (36)
Html Coq (32)
Coq Type Theory (31)
Coq Formal Verification (29)
1-20 of 20 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.