1

Closed

Lemmas tutorial: typo and "How Dafny Works"

description

The Lemmas tutorial states and proves a "distributive lemma" of the count function. However, the lemmas statement is not type correct, because count expects seq<bool> but the lemmas passes seq<int>.

The tutorial also refers to "How Dafny Works". I didn't find anything useful by googling that phrase. What is this referring to?
Closed Oct 20, 2016 at 1:37 AM by rustanleino

comments

rustanleino wrote Oct 20, 2016 at 1:37 AM

Fixed