1 result found Sort:

66
179
mit
18
Predicate logic with rule composition
Created 2016-01-11
824 commits to main branch, last one 3 days ago