[isabelle] New AFP entry: Discrete Summation

Discrete Summation
Florian Haftmann with contributions by Amine Chaieb

These theories introduce basic concepts and proofs about discrete summation:
shifts, formal summation, falling factorials and stirling numbers. As proof of
concept, a simple summation conversion is provided.



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