From 701c28cc4711a74759d1f8c2f01e61c0f9d62512 Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Wed, 12 Feb 2020 12:05:25 -0600 Subject: [PATCH] Add Coq (#1697) --- readme.md | 1 + 1 file changed, 1 insertion(+) diff --git a/readme.md b/readme.md index 9ede2905..46e93e83 100755 --- a/readme.md +++ b/readme.md @@ -220,6 +220,7 @@ - [Q#](https://github.com/ebraminio/awesome-qsharp#readme) - Domain-specific programming language used for expressing quantum algorithms. - [Imba](https://github.com/koolamusic/awesome-imba#readme) - Programming language inspired by Ruby and Python and compiles to performant JavaScript. - [Vala](https://github.com/desiderantes/awesome-vala#readme) - Programming language designed to take full advantage of the GLib and GNOME ecosystems, while preserving the speed of C code. +- [Coq](https://github.com/coq-community/awesome-coq#readme) - Formal language and environment for programming and specification which facilitates interactive development of machine-checked proofs. ## Front-End Development