diff --git a/resources/coq.ascii b/resources/coq.ascii
new file mode 100644
index 000000000..3e63f45fd
--- /dev/null
+++ b/resources/coq.ascii
@@ -0,0 +1,17 @@
+{0}   ::::::::
+{0} :::::::::::
+{0} :::::::::::
+{0} :::::{1}___{0}:::
+{1}   ______ {0}:
+{1}     ____   _________
+{1}      ___  ___________
+{1}      ___ ____________
+{1}     _________________
+{1}   ___________________
+{1}______________ ______
+{1}   ___________ ___
+{1}      ______
+{1}       ____
+{1}     ______
+{1}    ________
+{1}    ________
diff --git a/src/info/langs/language.rs b/src/info/langs/language.rs
index 9edff0627..97bfce74e 100644
--- a/src/info/langs/language.rs
+++ b/src/info/langs/language.rs
@@ -181,6 +181,7 @@ define_languages! {
     { Clojure, Programming, "clojure.ascii", define_colors!( [Color::Cyan, Color::Green] ) },
     { CMake, Programming, "cmake.ascii", define_colors!( [Color::Blue, Color::Green, Color::Red, Color::Black] ) },
     { CoffeeScript, Programming, "coffeescript.ascii", define_colors!( [Color::Red] ) },
+    { Coq, Programming, "coq.ascii", define_colors!( [Color::Yellow, Color::White] : [Color::TrueColor {r:191, g:140, b:94}, Color::TrueColor {r:213, g:190, b:153}] ) },
     { Cpp, Programming, "cpp.ascii", define_colors!( [Color::Cyan, Color::Blue, Color::White] : [Color::TrueColor{r:100, g:154, b:210}, Color::TrueColor{r:0, g:68, b:130}, Color::TrueColor{r:255, g:255, b:255}] ), "c++" },
     { Crystal, Programming, "crystal.ascii", define_colors!( [Color::White, Color::Black] ) },
     { CSharp, Programming, "csharp.ascii", define_colors!( [Color::Blue, Color::Magenta, Color::White] : [Color::TrueColor{r:154, g:73, b:147}, Color::TrueColor{r:106, g:21, b:119}, Color::TrueColor{r:255, g:255, b:255}] ), "c#" },