(Simple) Bad link on public web page
On the "Contact-us" page for frama-c: https://frama-c.com/html/contact.html the "ACSL on github" links just to a .png: https://frama-c.com/assets/img/community/github.png rather than to the appropriate github page -- or perhaps that entry is obsolete - as current work is on gitlab.