2 ms·
Yes that's the one. Thanks
by quickthrower2 9y ago
Yes that's the one. Thanks
- mcguire 9y agoIf you have heard of the Curry-Howard equivalence, that programs and proofs are the same thing, the proofs in question are constructive, intuitionistic proofs.