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