[–] tmtvl 1y 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 (6 comments) [–] adamnemecek 1y ago ↗ It also came up this recent thread https://news.ycombinator.com/item?id=42445328 [–] deterministic 1y ago ↗ ACL2 is a proof assistant. AP5 seems to be more of a relational data structure language.
[–] adamnemecek 1y ago ↗ It also came up this recent thread https://news.ycombinator.com/item?id=42445328
[–] deterministic 1y ago ↗ ACL2 is a proof assistant. AP5 seems to be more of a relational data structure language.
4 comments
[ 3.4 ms ] story [ 15.2 ms ] threadIn any case, I wonder how it compares to Screamer, ACL2, and Kanren.
EDIT: found it: https://news.ycombinator.com/item?id=41805702 (6 comments)