1 result found Sort:

65
179
mit
18
Predicate logic with rule composition
Created 2016-01-11
817 commits to main branch, last one 2 months ago