Lobsters feed 🤖@Lobsters-feed4/10/2024, 6:08 PMDon't let Alloy facts make your specs a fictionOP's link Lobste.rs tags formalmethods Author: hillelwayne.com via hwayne Lobsters' comments##formalmethodssee all