PR #958 feat(set_theory/surreal): surreal numbers

feat(set_theory/surreal): surreal numbers #958

mergify merged 5 commits into master from surreal

digama0 requested a review 6 years ago

feat(set_theory/surreal): surreal numbers

b34f9b51

digama0 force pushed from 2917ac59 to c5faaa0b 6 years ago

doc(set_theory/surreal): surreal docs

f32ad1d1

digama0 force pushed from c5faaa0b to f32ad1d1 6 years ago

minor changes in surreal

54d531cd

robertylewis added help-wanted

robertylewis added WIP

Merge branch 'master' into surreal

74403375

robertylewis approved these changes on 2019-05-17

robertylewis added ready-to-merge

Merge branch 'master' into 'surreal'

858753d1

mergify merged 901178e2 into master 6 years ago

mergify deleted the surreal branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

help-wanted WIP ready-to-merge

Milestone

No milestone