The quintessential site:
New web site for the virtual library on formal methods Announcement on the change from the old-site
Informative sites and special sites:
Formal Mathematics Notations
Alloy ACL2 Z (Pronounced 'Zed')
Alloy
ACL2
Z (Pronounced 'Zed')