Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
ACL2s
conjecture-generation
GACAL
Repository
gacal
LICENSE
Find file
Blame
History
Permalink
GACAL v1.1
· dcdb4cf3
Benjamin Quiring
authored
Jan 16, 2020
dcdb4cf3
This project is licensed under the
GNU General Public License v3.0 or later
.
Learn more