←back to thread

70 points medo-bear | 1 comments | | HN request time: 0s | source
Show context
tmtvl ◴[] No.42452986[source]
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 (6 comments)

replies(2): >>42481013 #>>42507104 #
1. deterministic ◴[] No.42507104[source]
ACL2 is a proof assistant. AP5 seems to be more of a relational data structure language.