New Members on List
12 views
Skip to first unread message
Joseph Razavi
Feb 4, 2013, 7:48:09 PM2/4/13
to manchester-type-theory-reading-group
Hi Everyone,
I'm going to add the new members to the list later today. Hopefully we
can keep the administrative stuff down and just talk Coq for a while.
Please don't reply to this message!
Joe
I'm going to add the new members to the list later today. Hopefully we
can keep the administrative stuff down and just talk Coq for a while.
Please don't reply to this message!
Joe
Reply all
Reply to author
Forward
0 new messages