This repository has been archived by the owner on Oct 14, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 217
Issues: leanprover/lean3
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
rewrite cannot handle even the simplest of lemmas involving nat.rec
#2005
opened Oct 30, 2019 by
JasonGross
1 task done
Universe metavariables and typeclass resolution failure
#1995
opened Mar 13, 2019 by
joehendrix
1 task done
Please have a cmake variable that controls if tests should be built
#1991
opened Jan 23, 2019 by
yurivict
leanpkg fails if there's a space in the pathname to the binary
#1980
opened Nov 7, 2018 by
kevinsullivan
doxygen: problems opening map file doc/html/inherit_graph_180.map for inclusion
#1967
opened Aug 8, 2018 by
andres-erbsen
1 task done
gcc 8.1.1: trie.h:69:76: error: ‘this’ was not captured for this lambda function
#1966
opened Aug 8, 2018 by
andres-erbsen
1 task done
Can't find the output of exporting the Lean library in low level format.
#1964
opened Jul 30, 2018 by
ITervaNkYu
Name collision between fields and parameters in struct declaration
#1928
opened Feb 17, 2018 by
Rotsor
1 task done
expr.pis produces a type incorrect expr out of a type correct one
#1921
opened Feb 4, 2018 by
cipher1024
1 task done
to_expr does not check that referenced parameters are in scope
#1908
opened Jan 21, 2018 by
cipher1024
1 task done
Previous Next
ProTip!
Follow long discussions with comments:>50.