Update README.md (#261)

Beluga-lang · Nov 9, 2024 · 9566894 · 9566894
1 parent 8835b73
commit 9566894
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# McTT: A Bottom-up Approach to Implementing A Proof Assistant
+# McTT: Building A Correct-By-Construction Proof Checkers For Type Theories
 
 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