Formalization of Quasilattices