Comment by FrozenVoid

For anyone interested there is repo(by the author) on github with the copy of code: https://github.com/granstrom/intuitionistic