diff --git a/assets/social-card.png b/assets/social-card.png index e4abce4..43a5db0 100644 Binary files a/assets/social-card.png and b/assets/social-card.png differ diff --git a/index.html b/index.html index 56f0014..b08f596 100644 --- a/index.html +++ b/index.html @@ -10,28 +10,24 @@ content="A verified software factory and academy. We prove critical software follows its specification, publish the evidence, and train people through real contributions." /> - - - - - - - + - + + + + + + + + + + + + + + +