Notes on a realizability model for a classical logic - View it on GitHub