Paul Tarau
Results
2
repositories owned by
Paul Tarau
pypro
20
Stars
0
Forks
Watchers
Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
TypesAndProofs
32
Stars
4
Forks
Watchers
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems