metalib

MaRDI QIDQ1350259swMATHFDO

Official website https://www.cis.upenn.edu/~plclub/metalib/

Source code repository https://github.com/plclub/metalib

Cited in

(1)

• \(\mathrm{HO}\pi\) in Coq

This page was built for software: metalib