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 gmail.com> 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.