Deducteam / Logipedia

An encyclopedia of proofs
57 stars 11 forks source link

The link to logipedia.science is not working #42

Open joaquimpuig opened 1 year ago

joaquimpuig commented 1 year ago

The link in the description "The website displaying all available proofs can be reached at http://logipedia.science/." does not work

fblanqui commented 1 year ago

Thank you for your issue. Please use http://logipedia.inria.fr/ instead. Best regards, Frédéric.