Informally Verified This is a (fake) blog dedicated to exploring and explaining formal methods, and how the average programmer can use and leverage formal methods to show their code is correct.