โ† Back to repositories
jimwhite

jimwhite/acl2-jupyter

github.com/jimwhite/acl2-jupyter โ†—
Common Lisp

Stars

โญ 14

PRs Reviewed

1

Bot Comments

0

Primary Language

Common Lisp

Merge Rate

100.0%

Avg Time to Merge

2h

Avg Additions

+44

Avg Deletions

-2

Avg Files Changed

1

AI Review Products#

AI code review products active on this repository.

jimwhite/acl2-jupyter โ€” AI Code Review Activity โ€” Code Review Trends