Deploying to gh-pages from @ 2f662c9 🚀

Beluga-lang · Nov 16, 2024 · 9695531 · 9695531
1 parent 4279813
commit 9695531
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -4,8 +4,8 @@
   <meta charset="utf-8" />
   <meta name="generator" content="pandoc" />
   <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
-  <title>McTT: A Bottom-up Approach to Implementing A Proof
-Assistant</title>
+  <title>McTT: Building A Correct-By-Construction Proof Checkers For
+Type Theories</title>
   <style>
     code{white-space: pre-wrap;}
     span.smallcaps{font-variant: small-caps;}