Galois Formal Verification

One of the most rewarding aspects of making Explainer Videos is the interviewing process and learning about new subjects. The more we learn, the more tools we have to better visualize symbols for complex problems. Done for Galois.