search

LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
https://github.com/LeventErkok/sbv
Other
239 stars 33 forks source link

GH pages link leads to 404 #686

Closed fabeulous closed 4 months ago

fabeulous commented 4 months ago

When following the link (http://leventerkok.github.io/sbv/) in the 'about' part of the repo I get a 404 not found message. Either there's something wrong with the gh-pages setup, or if the page is no longer maintained the link could be removed.

LeventErkok commented 4 months ago

Indeed; the GitHub-pages is no longer maintained; the content of which I moved to the README.md instead. Thanks for pointing out the stray link. Removed now.