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