I don't think it's about agile, even with waterfall "you still don't know what you are actually making" as another comment put it. Making software is how you f

I don't think it's about agile, even with waterfall "you still don't know what you are actually making" as another comment put it. Making software is how you figure out what you are making. Formal methods are just philosophically incompatible with that. Software is how you learn the world and formal methods is how you create it, you can't have both and we don't really have much use for creating worlds.