mathlib3
feat(information_theory/linear_code): Define linear codes
#16774
Open
Overview
Commits
6
Changes
View On GitHub

feat(information_theory/linear_code): Define linear codes #16774

BoltonBailey wants to merge 6 commits into master from BoltonBailey/linear-code
BoltonBailey
BoltonBailey linear code
6b70943f
BoltonBailey move, add doc
f988de66
BoltonBailey BoltonBailey changed the title feat(information_theory/block_code): Define linear codes feat(information_theory/linear_code): Define linear codes 3 years ago
BoltonBailey BoltonBailey added awaiting-CI
BoltonBailey docs
f520e643
BoltonBailey reword
5ee9e76b
BoltonBailey add repetition code as inhabited instance
13bb42d8
BoltonBailey fixing docs
a0b63b09
YaelDillies
YaelDillies commented on 2022-10-08
YaelDillies YaelDillies requested a review from linesthatinterlace linesthatinterlace 3 years ago
linesthatinterlace
linesthatinterlace
mathlib-dependent-issues-bot mathlib-dependent-issues-bot added blocked-by-other-PR
mathlib-dependent-issues-bot mathlib-dependent-issues-bot removed blocked-by-other-PR
mathlib-dependent-issues-bot
eric-wieser
eric-wieser commented on 2022-10-18
eric-wieser
eric-wieser commented on 2022-10-19
BoltonBailey BoltonBailey added WIP
kim-em kim-em added too-late

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
WIP awaiting-CI too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum