Fix branding: verified.software → verifiedsoftware.dev

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: nostrapollo

src/components/Footer.astro

@@ -3,7 +3,7 @@
 
 <footer class="border-t border-border py-12 px-6">
   <div class="max-w-6xl mx-auto flex flex-col md:flex-row items-center justify-between gap-6">
-    <span class="font-mono text-sm text-text-muted">verified.software</span>
+    <span class="font-mono text-sm text-text-muted">verifiedsoftware.dev</span>
     <div class="flex items-center gap-6 text-sm text-text-secondary">
       <a href="https://lean-lang.org" target="_blank" rel="noopener" class="hover:text-accent transition-colors">Lean</a>
       <a href="https://leanprover-community.github.io/mathlib4_docs/" target="_blank" rel="noopener" class="hover:text-accent transition-colors">Mathlib</a>

src/components/Nav.astro

@@ -4,7 +4,7 @@
 <nav class="fixed top-0 left-0 right-0 z-50 bg-bg/80 backdrop-blur-md border-b border-border">
   <div class="max-w-6xl mx-auto px-6 h-16 flex items-center justify-between">
     <a href="/" class="font-mono text-accent text-sm tracking-wide hover:text-text-primary transition-colors">
-      verified.software
+      verifiedsoftware.dev
     </a>
 
     <div class="hidden md:flex items-center gap-8">