PR #767 add tutorial about zmod37

add tutorial about zmod37 #767

PatrickMassot merged 6 commits into master from kbuzzard-patch-1

fix broken reference

37373871

cipher1024 assigned

PatrickMassot 6 years ago

robertylewis approved these changes on 2019-02-28

Adding Lean example of equivalence relation usage

442008c1

johoelzl changed the title ~~fix broken reference~~ add tutorial about zmod37 6 years ago

sgouezel commented on 2019-03-07

Tidying up this example file.

2747d732

jcommelin commented on 2019-03-13

minor fixups

68c1aa6a

chore(docs/theories/relations): add link

b7d4a883

Merge branch 'master' into kbuzzard-patch-1

4e80c982

PatrickMassot merged 404e2c93 into master 6 years ago

PatrickMassot deleted the kbuzzard-patch-1 branch 6 years ago

Reviewers

robertylewis

jcommelin

sgouezel

Assignees

PatrickMassot

Labels

None yet

Milestone

No milestone