Till AI has some more activity... no entries yet and it's been a few weeks (I also forgot all my ideas about what I was going to write so I haven't submitted anytihng either).
Anyway, I still think it's a fun idea, so maybe when we DO do it, I'll plan it with coq beforehand and make it a little more accessible.
