All Categories → No Category → curry-howard-isomorphism

Top 1 curry-howard-isomorphism 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 curry-howard-isomorphism projects