Data as of Jul 25, 2026 · Based on 2,718,867 AI responses across 9,511 prompts · See how Parse measures this
ACL2acl2.org · Low evidenceacl2-org is the web presence for the ACL2 Theorem Proving System, a logic and programming language used for modeling computer systems. It includes a tool that assists users in proving properties of those models.
Parse Score