https://clash-lang.org/ https://clash-lang.org/ http://www.clifford.at/yosys/ http://www.clifford.at/yosys/ I am hoping we can start proving many if the things

https://clash-lang.org/ https://clash-lang.org/ http://www.clifford.at/yosys/ http://www.clifford.at/yosys/ I am hoping we can start proving many if the things they brute-force model check today, too.