From 36333bd4daf3c6d52d55b5f6fbff494df67922e7 Mon Sep 17 00:00:00 2001 From: Brigitte Pientka Date: Sat, 9 Nov 2024 11:20:32 -0500 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 90eda29..264651d 100644 --- 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