Re: [isabelle] newbie: Binomial extensions

I agree with you that reference material is highly desirable, but unfortunately very few of our proofs are currently linked to sources.

Larry Paulson

> On 23 Feb 2017, at 13:53, Raymond Rogers <raymond.rogers72 at> wrote:
> Thanks!   Is there readable reference material for these lemma's?  Normally in mathematics one is expected to provide references/bibliography.   In my experience self-documenting code ends up being a little painful. 

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