The Importance of Interaction in Proof Tools

I think that the this interface is reasonable for experts. It's still even a little bit of a lie. I want like, uh, I'd like to see kind of a mostly automated proof or then like when it gets stuck, it can just prompt you forlike the right information. Um, like, you know, ask the user, oh, you know,. I almost have a proof of this thing, but what happens in this case? You know, um, and, and that sort of thing. But if you throw something to a fully automated tool and it doesn't work, like what do you do? That's what that that's what I hope for in the long run

Transcript

Play full episode

Transcript

Episode notes

The AI-powered Podcast Player

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

Get the app