All Categories → No Category → de-bruijn-notation

Top 1 de-bruijn-notation open source projects

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

1-1 of 1 de-bruijn-notation projects