remove deduce heading from index

jsiek · Oct 15, 2024 · 7af8657 · 7af8657
1 parent 2999454
commit 7af8657
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/index.md b/index.md
@@ -1,4 +1,3 @@
-# Deduce 
 
 ![Deduce logo: blue and purple hippo](logos/Main-Logo.svg)
 Deduce is an automated proof checker meant for use in education. The