correctness proof for alpha-beta algorithm

[Bill]

namenobodywants at gmail.com wrote:
> On Tuesday, December 19, 2017 at 3:28:39 PM UTC-8, Steve D'Aprano wrote:
>
>> Does this have anything specifically to do with Python programming?
> i'm working on a game-playing script (ie: in python), i want to incorporate pruning into my search algorithm, and i'd like to understand why it works; i'm not sure if that counts

Based upon your posts, I think you should just write your own. Then you 
can be sure that it will work. That's better than working with something 
that you don't understand.