BrittonR·5 bulan yang lalu·discussThanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?
BrittonR·7 bulan yang lalu·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....