{"ref":"refs/heads/master","commits":[{"author":{"name":"Jim Kingdon","email":"3da47f988ab4e8336c71360d07da5764ccf12855@localhost"},"sha":"fdbaac97d841c6791d1646ac59c33c5b0c86661a","message":"Add PerpendicularAtThereExists-x-u-u0.","url":"https://api.github.com/repos/jkingdon/wikiproofs/commits/fdbaac97d841c6791d1646ac59c33c5b0c86661a"},{"author":{"name":"Jim Kingdon","email":"3da47f988ab4e8336c71360d07da5764ccf12855@localhost"},"sha":"eae63c74ab379b9d64d57251299f2ee3475ecd22","message":"Add PerpendicularAtThereExists-half.","url":"https://api.github.com/repos/jkingdon/wikiproofs/commits/eae63c74ab379b9d64d57251299f2ee3475ecd22"},{"author":{"name":"Jim Kingdon","email":"3da47f988ab4e8336c71360d07da5764ccf12855@localhost"},"sha":"ee4d4d259752bb9e20cb29a22e9f9c888532b0a2","message":"Add PerpendicularAtThereExists-u0-x-v.","url":"https://api.github.com/repos/jkingdon/wikiproofs/commits/ee4d4d259752bb9e20cb29a22e9f9c888532b0a2"},{"author":{"name":"Jim Kingdon","email":"3da47f988ab4e8336c71360d07da5764ccf12855@localhost"},"sha":"9e0fcd8d12cb35aaddb4a9db6cc84b08e8fe40be","message":"Add PerpendicularAtThereExists-u0-x-v0.","url":"https://api.github.com/repos/jkingdon/wikiproofs/commits/9e0fcd8d12cb35aaddb4a9db6cc84b08e8fe40be"},{"author":{"name":"Jim Kingdon","email":"3da47f988ab4e8336c71360d07da5764ccf12855@localhost"},"sha":"3119e74889f52f0b1375c1d3ad0c4d980923c769","message":"Add PerpendicularAtThereExists-1.","url":"https://api.github.com/repos/jkingdon/wikiproofs/commits/3119e74889f52f0b1375c1d3ad0c4d980923c769"},{"author":{"name":"Jim Kingdon","email":"3da47f988ab4e8336c71360d07da5764ccf12855@localhost"},"sha":"76d6d7752b54050bfdab49786a4f649edb3ead37","message":"Finish proof of PerpendicularAtThereExists.","url":"https://api.github.com/repos/jkingdon/wikiproofs/commits/76d6d7752b54050bfdab49786a4f649edb3ead37"},{"author":{"name":"Jim Kingdon","email":"3da47f988ab4e8336c71360d07da5764ccf12855@localhost"},"sha":"a3fc3264aa4ecb92ad37ee71efa34ca0348769eb","message":"Remove two unused lemmas in the proof of PerpendicularAtThereExists.","url":"https://api.github.com/repos/jkingdon/wikiproofs/commits/a3fc3264aa4ecb92ad37ee71efa34ca0348769eb"}],"head":"a3fc3264aa4ecb92ad37ee71efa34ca0348769eb","push_id":51638874,"size":7}