Mechanized reasoning and hardware design | lit.salon