Re: [isabelle] New in the AFP: Formal Puiseux Series

Hi Wenda,

>We may ask Freek for a longer list :-)

Let's finish the first one first :-)

That is: at least until we are at 99 theorems.  When that
happens, I would like to organise a workshop titled

  "I got 99 theorems, but Fermat ain't one"
where I'll ask the most prolific contributors to the top
100 list to present a talk.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.