All issues

Search results

build error: vm check failed: is_composite(o)

Status: Open.

#2006 In leanprover/lean3;

· jwaldmann opened on Oct 31, 2019

rewrite cannot handle even the simplest of lemmas involving nat.rec

Status: Open.

#2005 In leanprover/lean3;

· JasonGross opened on Oct 30, 2019

simp fails to handle recursors

Status: Open.

#2004 In leanprover/lean3;

· JasonGross opened on Oct 30, 2019

Documentation for lean --server

Status: Open.

#1996 In leanprover/lean3;

· whitequark opened on Mar 28, 2019

Universe metavariables and typeclass resolution failure

Status: Open.

#1995 In leanprover/lean3;

· joehendrix opened on Mar 13, 2019

Angle brackets precidence

Status: Open.

#1992 In leanprover/lean3;

· rspencer01 opened on Feb 1, 2019

Please have a cmake variable that controls if tests should be built

Status: Open.

#1991 In leanprover/lean3;

· yurivict opened on Jan 23, 2019

leanpkg fails if there's a space in the pathname to the binary

Status: Open.

#1980 In leanprover/lean3;

· kevinsullivan opened on Nov 7, 2018

Add Coq-like "abort" tactic

Status: Open.

#1977 In leanprover/lean3;

· kevinsullivan opened on Oct 8, 2018

leanpkg new returns failed to start child process

Status: Open.

#1975 In leanprover/lean3;

· fstiffo opened on Oct 4, 2018

out of date files on bitbucket

Status: Open.

#1974 In leanprover/lean3;

· holtzermann17 opened on Sep 28, 2018

Seg fault on lean.exe

Status: Open.

#1972 In leanprover/lean3;

· alisever opened on Sep 2, 2018