HNT

MaRDI QIDQ34405swMATHFDO

Official website https://perso.crans.org/calves/hnt/

Cited in

(5)

• Matching and alpha-equivalence check for nominal terms
• RepLib
• FreshOCaml
• Unbound
• Binders unbound

This page was built for software: HNT