diff options
| author | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:28:21 +0100 |
|---|---|---|
| committer | Chantal Keller <Chantal.Keller@lri.fr> | 2020-01-15 18:28:21 +0100 |
| commit | 72cbdc49bec8032619ff4e8ab216f03901c03351 (patch) | |
| tree | 0801afbf43fb980ee9869854563b6e4a68d3a115 /_config.yml | |
| parent | 3f82e0be1a644276158e7ddaeb1bd8d3467d5ddd (diff) | |
| download | smtcoq-72cbdc49bec8032619ff4e8ab216f03901c03351.tar.gz smtcoq-72cbdc49bec8032619ff4e8ab216f03901c03351.zip | |
Webpage
Diffstat (limited to '_config.yml')
| -rw-r--r-- | _config.yml | 4 |
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 |