Pinned Repositories
AAHAA-DASC-2022
DASC 2022 paper on AAHAA CP2.5 demonstration
acl2
ACL2 System and Books as Maintained by the Community
karthiknukala.github.io
nano-emacs
GNU Emacs / N Λ N O - Emacs made simple
moxi-mc-flow
Translators from SMV to MoXI to BTOR2 and their witnesses.
karthiknukala's Repositories
karthiknukala/acl2
ACL2 System and Books as Maintained by the Community
karthiknukala/karthiknukala.github.io
karthiknukala/nano-emacs
GNU Emacs / N Λ N O - Emacs made simple