Popular repositories Loading

1. acl2 acl2 Public

   Forked from acl2/acl2

   Shilpi's Fork of ACL2 System and Books

   Common Lisp 1

2. Ring0Code Ring0Code Public

   Simple kernel-level programs to be verified using the ACL2-based x86isa reasoning framework

   C 1

3. cl-jupyter cl-jupyter Public

   Forked from fredokun/cl-jupyter

   An enhanced interactive Shell for Common Lisp (based on the Jupyter protocol)

   Jupyter Notebook

4. shigoel.github.io shigoel.github.io Public

   Personal Website

   HTML

5. LNSym LNSym Public

   Forked from leanprover/LNSym

   Armv8 Native Code Symbolic Simulator in Lean

   Lean

6. lean-std4 lean-std4 Public

   Forked from leanprover-community/batteries

   Standard Library for Lean 4

   Lean