Block or report user


@sagemath @acl2

Pinned repositories

  1. acl2/acl2

    ACL2 System and Books as Maintained by the Community

    Common Lisp 67 38

  2. syl20bnr/spacemacs

    A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

    Emacs Lisp 10.9k 2.8k

58 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in acl2/acl2 that received 2 comments

Make `find-lemmas` much faster

find-lemmas-fn was repeatedly calling deref-macro-name on the function names supplied by the user, every time it inspected an event recorded in the…

Created an issue in Clozure/ccl that received 2 comments

Error: current process does not own *kernel-exception-lock*

Under some rare and unknown circumstances, calling (static-cons ...) from ACL2 running on top of CCL resulted in the following error: Error: Curre…

Seeing something unexpected? Take a look at the GitHub profile guide.