HoTT/HoTT — pull request #28 by andrejbauer (2012-10-23 16:05:11+00:00)
Title: Ssreflect

Ssreflect now compiles with HoTT and is available when you run hoqtop/hoqc/hoqide.