# Homotopy Type Theory Uniqueness of Identity Proofs (history)

### May 15, 2014

• Revision 1
by Alexis Hazell? on May 15, 2014 at 16:52:05 from 118.209.145.187.