mister-walter/acl2-utils mister-walter/acl2-utils

  • Stars
    star
    1
  • Language
    Common Lisp
  • License
    MIT License
  • Created over 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mister-walter/acl2-utils
github

mister-walter

Reviews

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

Repository Details

Some ACL2 utilities I have written. Hopefully will pull into the ACL2 repo eventually.

More Repositories

1

acl2-docker

A Docker image for the ACL2 theorem proving system and books
Dockerfile
4
star
2

gbeets

A GMusic plugin for beets
4
star
3

d3-table

JavaScript
1
star