2 open source projects by ptarau

Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

✭ 23

prolog type-inference theorem-prover beta-reduction intuitionistic-logic curry-howard-isomorphism lambda-terms random-binary-tree random-set-partition tautology-checking de-bruijn-notation all-binary-trees-generator all-set-partitions-gnerator remy-s-algorithm knuth-s-algorithm-r boltzmann-sampler normal-forms

2. DeepRank

A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algorithm like *PageRank*, can extract relevant keywords and summaries from text documents.

✭ 30

python prolog shell

1-2 of 2 user projects