Krivine realisability from scratch License The content of this repository is distributed under Creative Commons licence CC BY 3.0.