id,summary,reporter,owner,description,type,status,resolution,keywords,cc 3,An L4.verified retrospective.,Thomas,Thomas,"I've given a talk about theorem provers before. I also have some overview slides on the L4.verified project from a trip in 2010. When we're not feeling overloaded with theoretical theorem proving talks, I could turn them into an overview and retrospective on the L4.verified project which a couple of us worked on.",talk offer,closed,scheduled,,