Fix typos

dstebila · dstebila · commit 8edba6fced26 · 2026-03-04T21:16:10.000+08:00
diff --git a/_config.yml b/_config.yml
@@ -1,4 +1,4 @@
-title: Proof Frog
+title: ProofFrog
 description: A tool for verifying game-hopping proofs
 theme: just-the-docs
 
diff --git a/functionality.md b/functionality.md
@@ -6,7 +6,7 @@ nav_order: 3
 
 # Engine Functionality
 
-A diagram for Proof Frog's engine functionality in full is presented below.
+A diagram for ProofFrog's engine functionality in full is presented below.
 
 ![ProofFrog Functionality Diagram](/assets/diagram.png)
 
diff --git a/index.md b/index.md
@@ -1,5 +1,5 @@
 ---
-title: Proof Frog
+title: ProofFrog
 layout: home
 nav_order: 1
 ---

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-title: Proof Frog`
	`1`	`+title: ProofFrog`
`2`	`2`	`description: A tool for verifying game-hopping proofs`
`3`	`3`	`theme: just-the-docs`
`4`	`4`