diff --git a/README.md b/README.md
index 41ade07..1ee8471 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,3 @@
-# GaloisRamification
\ No newline at end of file
+# Ramification theory in Galois extensions of Dedekind domains
+
+Formalizing the ramification theory in Galois extensions of Dedekind domains, which is also called Hilbert's Ramification Theory.