Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
agda-real
README.md
Find file
Blame
History
Permalink
example: approximation of the golden ratio
· eeedcaf9
Peter Bruin
authored
Jul 13, 2021
eeedcaf9
