Formal is a browser-based platform for learning hardware formal verification: six courses across discrete math, hardware verification, AXI and three deeper tracks, powered by SymbiYosys and Z3. Written and maintained by David Kebo Houngninou — Associate Professor, Computer Science and Engineering, Texas A&M University.