ericwhitmansmith

@KestrelInstitute

Pinned Repositories

acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp362 36 487100
AAHAA-DASC-2022
DASC 2022 paper on AAHAA CP2.5 demonstration
Language:TeX00
acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp00
j-bob
Language:Scheme00
j-bob
Language:Scheme419 32 962

ericwhitmansmith's Repositories

ericwhitmansmith/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp00
ericwhitmansmith/j-bob
Language:Scheme00