Custom Query (14 matches)


Show under each result:

Results (13 - 14 of 14)

1 2 3 4 5
Ticket Resolution Summary Owner Reporter
#3 scheduled 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.

#2 fixed Make us a new logo for the trac Ben Lippmeier

The current lambda image is a bit generic. We really want a banner that extends across the page.

1 2 3 4 5
Note: See TracQuery for help on using queries.