PR #1898 chore(*): add inhabited instances

chore(*): add inhabited instances #1898

mergify merged 4 commits into leanprover-community:master from gebner:misc-inhabited

chore(*): add inhabited instances

48a5fed7

cipher1024 assigned

robertylewis 6 years ago

sgouezel added awaiting-author

Fix linting errors.

63344361

Merge remote-tracking branch 'origin/master' into misc-inhabited

dba38f42

gebner commented on 2020-01-27

gebner removed awaiting-author

robertylewis approved these changes on 2020-01-29

robertylewis added ready-to-merge

Merge branch 'master' into misc-inhabited

fae4cb6b

mergify merged 4aa3eee4 into master 6 years ago

Reviewers

robertylewis

Assignees

robertylewis

Labels

ready-to-merge

Milestone

No milestone