Nuprl-Light

swMATH31982MaRDI QIDQ43693FDOQ43693

Author name not available (Why is that?)

Official website: http://www.nuprl.org/KB/show.php?ID=453

Described by source

• Nuprl-Light: An implementation framework for higher-order logics

This page was built for software: Nuprl-Light