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