ACL2-related metrics
0 views
Skip to first unread message
Matt Kaufmann
Sep 25, 2025, 10:58:23 AM (24 hours ago) Sep 25
to acl2-...@googlegroups.com, jstroth...@gmail.com, hu...@cs.utexas.edu
Hi,
Read this only if you are among those interested in metrics pertaining
to ACL2 and the community books:
Several people have expressed that interest. I've attached a file
with such information. This is probably all I'll do with it, but
anyone is welcome to put it into the community books and modify it,
even making xdoc out of it if you like. Also, feel free to reply with
additional such metrics.
-- Matt
Read this only if you are among those interested in metrics pertaining
to ACL2 and the community books:
Several people have expressed that interest. I've attached a file
with such information. This is probably all I'll do with it, but
anyone is welcome to put it into the community books and modify it,
even making xdoc out of it if you like. Also, feel free to reply with
additional such metrics.
-- Matt
Reply all
Reply to author
Forward
0 new messages