Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
agda-real
COPYING
Find file
Blame
History
Permalink
agda-real: initial Git version
· a869b3e4
Peter Bruin
authored
Feb 12, 2018
a869b3e4
This project is licensed under the
GNU General Public License v3.0 only
.
Learn more