I think there's also a lot we can do to make formal methods easier to learn and use. One of the big things I'm pushing for Alloy is to get a proper CLI so peopl

I think there's also a lot we can do to make formal methods easier to learn and use. One of the big things I'm pushing for Alloy is to get a proper CLI so people don't have to do everything through the IDE— this is a surprising source of friction for beginners.