3 ms·
Interactive Tutorial of the Sequent Calculus
- smoyer 13y agoI learned tools like this (and Karnaugh maps) when designing hardware logic, but they work just as well for software. I'm amazed that many CS programs don't teach these techniques.
loading thread…