leanprover-community/mathlib3

Pull Requests Commits

chore(mergify): fix config file

cipher1024 committed 6 years ago

7762bc4f

chore(mergify): use team names instead of user names

cipher1024 committed 6 years ago

d4fd4b2b

chore(mergify): disable `delete_head_branch`

cipher1024 committed 6 years ago

2230934a

fix(README): fix mergify icon

ChrisHughes24 committed 6 years ago

Verified 840ddeb7

chore(github/pr): mergify configuration (#871)

cipher1024 committed 6 years ago

Verified 542d1790

feat(data/fin): add `fin.clamp` (#874)

khoek committed 6 years ago

a0cbe3be

feat(ring_theory/algebra_operations): submodules form a semiring (#856)

jcommelin committed 6 years ago

2c735dc9

feat(topology/metric_space/completion): completion of metric spaces (#743)

sgouezel committed 6 years ago

b9e9328e

feat(topology/uniform_space/pi): indexed products of uniform spaces (#845)

PatrickMassot committed 6 years ago

c3aba261

feat(algebra/pointwise): pointwise addition and multiplication of sets (#854)

jcommelin committed 6 years ago

7043a4ab

feat(tactic/basic): add `tactic.get_goal` (#876)

khoek committed 6 years ago

f1120769

fix(int/basic): change order of instances to int.cast (#877)

robertylewis committed 6 years ago

e96d6b75

chore(.travis.yml): use Lean to determine the Lean version (#714)

rwbarton committed 6 years ago

ce92e8af

build(travis): interrupt the build at the first error message (#708)

cipher1024 committed 6 years ago

Verified 6c559892

feat(tactic/local_cache): add tactic-block-local caching mechanism (#837)

khoek committed 6 years ago

13034ba3

fix(scripts/update-mathlib): protect file operations from interrupts (#864)

kim-em committed 6 years ago

7eac1785

Inductive limit of metric spaces (#732)

sgouezel committed 6 years ago

f385ad6b

fix(build): improve compatibility of caching scripts with Sourcetree (#863)

kim-em committed 6 years ago

727120cc

feat(data/nat/basic): nat.le_rec_on (#585)

kckennylau committed 6 years ago

5694d152

Merge branch 'congr-2'

cipher1024 committed 6 years ago

8e4542da

fix(tactic/congr'): some `\iff` goals were erroneously rejected

cipher1024 committed 6 years ago

ec0a4ea1

feat(tactic/push_neg): a tactic pushing negations (#853)

PatrickMassot committed 6 years ago

5fe470bb

fix(build): prevent leanchecker from timing out

cipher1024 committed 6 years ago

5995d460

feat(category_theory): working in Sort rather than Type (#824)

kim-em committed 6 years ago

2f088fc1

add tutorial about zmod37 (#767)

kbuzzard committed 6 years ago

404e2c93

docs(tactics): add introduction to the instance cache tactic section

PatrickMassot committed 6 years ago

867661e0

docs(tactics): minor rewrite of exactI, resetI etc

kbuzzard committed 6 years ago

59e05930

refactor(analysis/convex): make instance local (#869)

abentkamp committed 6 years ago

a1fe39b1

fix(scripts/cache-olean): only run the post-checkout hook if we actually changed branches (#857)

kim-em committed 6 years ago

3bc0f00a

feat(data/real/pi): Compute the first three digits of pi (#822)

fpvandoorn committed 6 years ago

2851236b

Newer Older