Opened 14 years ago
Closed 14 years ago
#3 closed talk offer (scheduled)
An L4.verified retrospective.
Reported by: | Thomas | Owned by: | Thomas |
---|---|---|---|
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.
Note: See
TracTickets for help on using
tickets.