Ideas from Heq: a Coq library for Heterogeneous Equality implemented in Lean 4.
Vtec234/lean4-seq
Equality types for type families
README
Contributors
Equality types for type families
Ideas from Heq: a Coq library for Heterogeneous Equality implemented in Lean 4.