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