Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
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
-
Updated
Feb 2, 2026 - Prolog