Nuprl-Light

MaRDI QIDQ43693swMATHFDO

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