Just links

www.anthropic.com/research/formal-verification via @itpgchannel