Various interesting things from users in our group are here . Especially She-Jue Lee's prover.
There are some other interesting files in Heng Chu's research directory, for instance, see the TeX documentation for his prover.