diff --git a/resume.html b/resume.html
index b8de5b5..76e832a 100644
--- a/resume.html
+++ b/resume.html
@@ -37,7 +37,7 @@
                 <h1>Skills</h1>
 
                 <div class="section-content">
-                    <em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Crystal, Kotlin, Java, Python, JavaScript, Haxe<br>
+                    <em class="italic">Programming Languages:</em> C, C++, Haskell, Elm, Idris, Crystal, Kotlin, Java, Python, JavaScript, Coq, Haxe<br>
                     <em class="italic">Languages:</em> English (native), Russian (native), French (conversational, DELF B1 certification) <br>
                     <em class="italic">Additional Skills:</em> Compiler design, formal verification, algorithms, low-level development.<br>
                 </div>