Custom Query (14 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (1 - 3 of 14)

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

#4 scheduled Functional pretty-printing Tony Sloane Tony Sloane
Description

A longer talk about pretty-printing combinator libraries and a continuation-based implementation in Scala. Could do July, September, October or November.

#8 duplicate Question about compatibility andrewamak
Description

Hello,

It's your service "compatible" with my website: alkomaty twojalkomat.pl? Thank you in advance!!

Best Regards, Piotr

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