705 followers
@lindsey https://t.co/F0WXjuYMiR Looking forward to the list!
@lindsey https://t.co/F0WXjuYMiR Looking forward to the list!
The worst code snippet I've included in a paper, but I'm proud of it. It demonstrates the challenges of simplifying proof goals. Sometimes making a goal smaller in a way that helps solvers makes it dramatically harder for users to interact with. From ht
@tweetdkp No idea, unfortunately. On a quicker timeframe CAV should be publishing talks, some of the technical content from the Strange Loop talk will be lifted from our new paper: https://t.co/F0WXjvfPkR