Opened 8 years ago

Closed 7 years ago

#3 closed talk offer (scheduled)

An L4.verified retrospective.

Reported by: tsewell Owned by: tsewell
Keywords: Cc:

Description

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 7 years ago by benl

  • Resolution set to scheduled
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.