Nuprl-Light

From MaRDI portal

(Redirected from Software:43693)

Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Nuprl-Light&oldid=56505390"