mister-walter / acl2-docker

A Docker image for the ACL2 theorem proving system and books

mister-walter/acl2-docker Stargazers

Cris Perdue
crisperdue
Keshav Kini
kini

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.