metalib

swMATH43865MaRDI QIDQ1350259FDOQ1350259

Author name not available (Why is that?)

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