1 files changed, 3 insertions, 1 deletions
diff --git a/_config.yml b/_config.yml
index c741881..b836d2f 100644
--- a/_config.yml
+++ b/_config.yml
@@ -1 +1,3 @@
-theme: jekyll-theme-slate
-\ No newline at end of file
+title: SMTCoq
+description: Communication between Coq and SAT/SMT solvers
+theme: jekyll-theme-slate