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

Pull requests: leanprover/lean3

Clear current search query, filters, and sorts
0 Open 882 Closed
0 Open 882 Closed
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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Feature/vm dynload
#2000 by cipher1024 was closed Jun 3, 2019 • Draft
Add structs support to FFI
#1999 by agentultra was closed Jun 1, 2019 • Draft
Fix a failing test (one more still fails, but you have a [TODO] in it)
#1998 by khoek was closed Apr 10, 2019 Loading…
1
fix(vm/get_cwd): add test for get_cwd
#1997 by cipher1024 was closed Apr 8, 2019 Loading…
1
Add inductive no confusion
#1994 by digama0 was closed Mar 12, 2019 Loading…
1
Remove relators and the transfer tactic
#1989 by gebner was merged Jan 12, 2019 Loading…
chore(.travis.yml): gpg key for new rvm maintainer
#1987 by bryangingechen was merged Jan 11, 2019 Loading…
1
fix(library/module_mgr): ignore '\r' changes
#1986 by gebner was merged Jan 11, 2019 Loading…
2
fix(library/coinductive_predicates): fix existential types
#1984 by cipher1024 was closed Jan 12, 2019 Loading…
4
fix(library/init):removed unused import
#1983 by huma23 was closed Jun 3, 2019 Loading…
1
1
repeated instance in init/algebra/field.lean
#1982 by kckennylau was closed Jun 3, 2019 Loading…
1
feat(leanpkg): add git branch tracking for dependencies
#1981 by khoek was merged Nov 12, 2018 Loading…
1
fix(frontends/dependencies): ignore .olean files when listing depen…
#1978 by cipher1024 was merged Oct 27, 2018 Loading…
fix(lean/bin/leanpkg*): handle spaces in paths
#1976 by solson was merged Oct 27, 2018 Loading…
2
fix(doc/export_format): correct #DEF example and typos
#1960 by andrejtokarcik was closed Jun 3, 2019 Loading…
1
fix(init/core): typed_expr should accept Props
#1955 by Kha was merged Apr 12, 2018 Loading…
refactor(library/init/core,library/init/unit): make unit an abbreviation of punit.{0}
#1950 by Kha was closed Mar 27, 2018 Loading…
1
[WIP] Turn on jemalloc, turn off custom allocators by default
#1949 by Kha was closed Oct 27, 2018 Loading…
9
Proper nightly builds
#1948 by Kha was closed Mar 20, 2018 Loading…
1
fix(tactic_state): bugfix
#1947 by semorrison was closed Mar 8, 2018 Loading…
Fix server memory leak
#1945 by Kha was closed Mar 8, 2018 Loading…
chore(README,doc/faq): The Gitter chat room has been migrated to Zulip
#1944 by Kha was closed Mar 8, 2018 Loading…
make sure no one calls math.h's log2()
#1941 by nunoplopes was closed Mar 6, 2018 Loading…
4
fix(frontends/lean/pp): fix #1922
#1939 by Kha was closed Mar 2, 2018 Loading…
3
fix(frontends/lean/pp): is_field_notation_candidate
#1938 by semorrison was closed Mar 2, 2018 Loading…
1
1
ProTip! What’s not been updated in a month: updated:<2024-06-24.