mister-walter/acl2-docker mister-walter/acl2-docker

  • Stars
    star
    4
  • Rank 3,294,157 (Top 66 %)
  • Language
    Dockerfile
  • License
    MIT License
  • Created over 5 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mister-walter/acl2-docker
github

mister-walter

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Docker image for the ACL2 theorem proving system and books

More Repositories

1

gbeets

A GMusic plugin for beets
4
star
2

d3-table

JavaScript
1
star
3

acl2-utils

Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.
Common Lisp
1
star