View fullsize Via Friend of the Blog, Verification Labs’ Trey Blalock The Gate of Logic April 01, 2022 by Marc Handelman in Code Humor, Computer Science, Model of Computation, Verification Labs