From e3f2db299c112387ac3d5e8e6be0f1f9016cd98e Mon Sep 17 00:00:00 2001 From: Shumo Chu Date: Tue, 18 Jul 2017 22:57:57 -0700 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 97c26bd..fd5cdaa 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ Cosette Cosette is a langague and an automated solver for reasoning SQL equivalences. -* Read [introducing cosette][blog] +* Read [Introducing Cosette][blog] * See [the Cosette Guide][guide] to see how to use Cosette * Try Cosette [online demo][demo] * Check out cosette [website][web] for research papers about Cosette