I don't know; I haven't paid close attention to such things. But pulling on the acl2 thread will probably lead somewhere. Also maybe of interest, not quite th

I don't know; I haven't paid close attention to such things. But pulling on the acl2 thread will probably lead somewhere. Also maybe of interest, not quite the same but on vaguely parallel lines, minikanren and microkanren.