From 7af8657a57ea4b3e4d173cb496f568ef622eb7b5 Mon Sep 17 00:00:00 2001
From: "Jeremy G. Siek" <jeremy.siek@gmail.com>
Date: Tue, 15 Oct 2024 09:42:43 -0400
Subject: [PATCH] remove deduce heading from index

---
 index.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/index.md b/index.md
index 8280241..905557d 100644
--- 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