Skip to content
Browse files

Add Coq (#1697)

  • Loading branch information
palmskog committed Feb 12, 2020
1 parent 434a2a9 commit 701c28cc4711a74759d1f8c2f01e61c0f9d62512
Showing with 1 addition and 0 deletions.
  1. +1 −0
@@ -220,6 +220,7 @@
- [Q#]( - Domain-specific programming language used for expressing quantum algorithms.
- [Imba]( - Programming language inspired by Ruby and Python and compiles to performant JavaScript.
- [Vala]( - Programming language designed to take full advantage of the GLib and GNOME ecosystems, while preserving the speed of C code.
- [Coq]( - Formal language and environment for programming and specification which facilitates interactive development of machine-checked proofs.

## Front-End Development

0 comments on commit 701c28c

Please sign in to comment.
You can’t perform that action at this time.