Opened 13 years ago

Closed 13 years ago

#3 closed talk offer (scheduled)

An L4.verified retrospective.

Reported by: Thomas Owned by: Thomas
Keywords: Cc:


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.

Change History (1)

comment:1 Changed 13 years ago by Ben Lippmeier

Resolution: scheduled
Status: newclosed
Note: See TracTickets for help on using tickets.