Skip to content
This repository has been archived by the owner on Oct 14, 2023. It is now read-only.

Issues: leanprover/lean3

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

simp fails to handle recursors
#2004 opened Oct 30, 2019 by JasonGross
1 task done
Documentation for lean --server
#1996 opened Mar 28, 2019 by whitequark
1 task done
Universe metavariables and typeclass resolution failure
#1995 opened Mar 13, 2019 by joehendrix
1 task done
Angle brackets precidence
#1992 opened Feb 1, 2019 by rspencer01
1 task done
Add Coq-like "abort" tactic
#1977 opened Oct 8, 2018 by kevinsullivan
out of date files on bitbucket
#1974 opened Sep 28, 2018 by holtzermann17
Seg fault on lean.exe
#1972 opened Sep 2, 2018 by alisever
leanfmt: Lean code formatter
#1970 opened Aug 29, 2018 by alok
subtype.eq has wrong signature
#1961 opened Jul 5, 2018 by fgdorais
1 task done
Segfault with monad inference
#1958 opened Apr 17, 2018 by digama0
1 task done
Error with meta mutual defs
#1957 opened Apr 17, 2018 by digama0
1 task done
Limit the amount of error messages
#1912 opened Jan 24, 2018 by Kha
apply ignores reducibility hints in some cases
#1906 opened Jan 12, 2018 by digama0
1 task done
ProTip! Find all open issues with in progress development work with linked:pr.