1 result found Sort:

63
178
mit
16
Predicate logic with rule composition
Created 2016-01-11
843 commits to main branch, last one 3 months ago