diff --git a/mdbook/src/Introduction.md b/mdbook/src/Introduction.md index 676fd03..67f0b77 100644 --- a/mdbook/src/Introduction.md +++ b/mdbook/src/Introduction.md @@ -1,6 +1,6 @@ # Proofcast -![](./proofcast-logo.png) +![](./Proofcast_Logo.jpg) Welcome to the Proofcast Documentation.