How to use Univalent Versatile Environment

"How to use Univalent Versatile Environment" is not written yet.