4 ms·
I feel like this came up somewhat recently, but I can't find the context. In any case, I wonder how it compares to Screamer, ACL2, and Kanren. EDIT: found it:
by tmtvl 2y ago
I feel like this came up somewhat recently, but I can't find the context.
In any case, I wonder how it compares to Screamer, ACL2, and Kanren.
EDIT: found it: https://news.ycombinator.com/item?id=41805702 https://news.ycombinator.com/item?id=41805702 (6 comments)
- adamnemecek 2y agoIt also came up this recent thread https://news.ycombinator.com/item?id=42445328 https://news.ycombinator.com/item?id=42445328
- deterministic 2y agoACL2 is a proof assistant. AP5 seems to be more of a relational data structure language.