GitHub topics: knuth-s-algorithm-r
ptarau/TypesAndProofs
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Language: Prolog - Size: 3.91 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 29 - Forks: 3
Related Keywords
all-binary-trees-generator
1
all-set-partitions-gnerator
1
beta-reduction
1
boltzmann-sampler
1
curry-howard-isomorphism
1
de-bruijn-notation
1
intuitionistic-logic
1
knuth-s-algorithm-r
1
lambda-terms
1
normal-forms
1
prolog
1
random-binary-tree
1
random-set-partition
1
remy-s-algorithm
1
tautology-checking
1
theorem-prover
1
type-inference
1