BrittonR·5 か月前·議論Thanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?
BrittonR·7 か月前·議論This 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....