Giters
Pete Manolios (pmanolios)

pmanolios

Geek Repo

3

followers

0

following

0

stars

Company:Northeastern University

Location:Boston, MA

Home Page:https://www.ccs.neu.edu/home/pete/

Github PK Tool:Github PK Tool

Pete Manolios's repositories

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0