How to Prove a Large Routine or How to Check a Large Routine

Book •

Mentioned by

Mentioned by

Byron Cook

as one of the first papers written in the automated reasoning space.

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!