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