Heq

swMATH33272MaRDI QIDQ44981FDOQ44981

Author name not available (Why is that?)

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