update the github url

co-dan · co-dan · commit b5708b876baf · 2025-08-17T18:25:06.000+02:00
diff --git a/fitch-proof/index.html b/fitch-proof/index.html
@@ -220,7 +220,7 @@
             PROOF...</button></p>
    </div>
 
-   <p><a href="https://github.com/el-sambal/fitch-proof">Source code: https://github.com/el-sambal/fitch-proof</a></p>
+   <p><a href="https://github.com/FundamentalComputing/FitchVIZIER/">Source code</a></p>
 </body>
 
-</html>
+</html>
