Search results

Unknown identifier 'take'

Status: Open.

#215 In leanprover/tutorial;

· jachymb opened on Apr 10, 2021

Snippet does not work with latest lean 2

Status: Open.

#207 In leanprover/tutorial;

· gebner opened on Nov 25, 2016

Expand 7.6

Status: Open.

#201 In leanprover/tutorial;

· fpvandoorn opened on Jul 3, 2016

Write Section 7.8 Well-Founded Recursion

Status: Open.

#170 In leanprover/tutorial;

· spl opened on Jan 30, 2016

Online tutorial's links do not support Cmd-click, do not preserve browser history, and more

bug

Status: Open.

#76 In leanprover/tutorial;

· carlpaten-ivadolabs opened on Mar 30, 2015