Heq

MaRDI QIDQ44981swMATHFDO

Official website https://ropas.snu.ac.kr/~gil.hur/Heq/

Cited in

(2)

• Congruence closure in intensional type theory
• Strongly typed term representations in Coq

This page was built for software: Heq