Commit 2020-08-22 00:21 278f5120
View on Github →feat(data/real): define the golden ratio and its conjugate, prove irrationality of both and Binet's formula (#3885) Co-authored by @alreadydone and @monadius through their solutions to the corresponding Codewars Kata.