mathlib3
doc(*): switch from update-mathlib to leanproject
#2093

Merged

doc(*): switch from update-mathlib to leanproject #2093

mergify merged 6 commits into master from leanproject-docs

doc(*): switch from update-mathlib to leanproject

79a9e6db

sgouezel commented on 2020-03-06

Apply suggestions from code review

fb1f8ddd

jcommelin added not-ready-to-merge

PatrickMassot commented on 2020-03-06

Use shiny new `leanproject new` and `leanproject get`

8b9004b1

PatrickMassot commented on 2020-03-07

cipher1024 assigned

PatrickMassot 5 years ago

robertylewis commented on 2020-03-11

documentation tweaks

fa36f841

bryangingechen removed not-ready-to-merge

bryangingechen added awaiting-review

project.md tweaks

24eb871b

PatrickMassot approved these changes on 2020-03-12

PatrickMassot removed awaiting-review

PatrickMassot added ready-to-merge

Merge branch 'master' into leanproject-docs

dc513080

mergify merged f5787f53 into master 5 years ago

mergify deleted the leanproject-docs branch 5 years ago

Reviewers

PatrickMassot

robertylewis

bryangingechen

sgouezel

Assignees

PatrickMassot

Labels

ready-to-merge

Milestone

No milestone