Deploying to gh-pages from @ 9566894 🚀

Beluga-lang · Nov 9, 2024 · 0129812 · 0129812
1 parent fd5f885
commit 0129812
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -55,8 +55,8 @@
 </head>
 <body>
 <h1
-id="mctt-a-bottom-up-approach-to-implementing-a-proof-assistant">McTT: A
-Bottom-up Approach to Implementing A Proof Assistant</h1>
+id="mctt-building-a-correct-by-construction-proof-checkers-for-type-theories">McTT:
+Building A Correct-By-Construction Proof Checkers For Type Theories</h1>
 <p>McTT is a verified, runnable typechecker for Martin-Löf type theory.
 This project provides an executable, to which we can feed a program in
 Martin-Löf type theory to check whether this program has the specified