5 ms·
You might find Chris Mungall's py-typedlogic interesting: https://py-typedlogic.github.io/ https://py-typedlogic.github.io/
by will_byrd 2y ago
You might find Chris Mungall's py-typedlogic interesting:
https://py-typedlogic.github.io/ https://py-typedlogic.github.io/
- adamgordonbell 2y agoThanks! And thanks for miniKanren and reasoned schemer!