His Github has has some interesting projects, e.g: https://github.com/VladimirReshetnikov/ProveIt