Update hero.tsx

graph view feature

front end edits

landing page

Delete .env

Create .gitignore

Update page.tsx

added graph nodes

frontend + vector rag

implemented chapter 1 proofs

verify math fixed

fixed graph_builder.py so that verify_proof route is called to check if proof is valid

test rag system

editted code so files work properly with each othre

created vector db