[isabelle] Discrete Summation

Hi out there,

here at TUM we plan to start a student project formalizing factorial
chains, Stirling numbers, discrete summation and related stuff, which
seems yet underrepresented in the formal area, at least according to
Google and the Isabelle repositories.  However, to avoid work in
parallel, I would like to ask whether somebody out there is working in
that direction or has some related stuff in the drawer.

Any feedback welcome,



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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