i just needed to add one more box bro. just one more box. and 3 additional arrows. and to make it clear that there are three different kinds of “formal verification”. bro i made the fonts consistent…

Posters: davidad. davidad

4 likes recorded by the source corpus.