jakeisnt / acl2s-flake

Build ACL2s from a Nix flake

http://acl2s.ccs.neu.edu/acl2s/doc/

Geek Repo

Github PK Tool