IW Meeting 2009-09-03

From Inference Web

Jump to: navigation, search

Contents

Agenda

misc

  • java6 and jean 2.6 ?

cynthia's udpates

combine proof demo

iwsearch

Personal tools
Navigation