BrittonR·vor 5 Monaten·discussThanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?
BrittonR·vor 7 Monaten·discussThis is how I’m also developing most of my code these days as well. My opinions are pretty similar to the pig book author https://martin.kleppmann.com/2025/12/08/ai-formal-verificati....