Update README.md

livrelogique · Sep 23, 2022 · db0e4b6 · db0e4b6
1 parent 2818b4b
commit db0e4b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # Pravda
 
-This tool provides exercices in formal logic, more precisely for proof systems.  You can have a look at the following address: https://livrelogique.github.io/pravda/dist/
+This tool provides exercices in formal logic, more precisely for proof systems.  You can have a look at the following address: http://pravda.irisa.fr/
 
 ## Building the tool
 Be sure to have installed tsc, the TypeScript compiler.