For Windows users: [Heq-0.91.zip 6.0 MB]
(includes coqtop.opt.exe & coqide.opt.exe compiled from Coq 8.2pl1 + ssreflect 1.2 + Heq 0.91)
To install ssreflect 1.2 using the above binaries, see InstallSSReflect.
Publications
Heq: A Coq library for heterogeneous equality.
Informal presentation at the 2nd Coq Workshop
(Coq 2010),
A satellite workshop of ITP 2010.
[preprint: pdf]
[slides: pdf]
[coq script: script]