nForum - Discussion Feed (NuPRL)2024-03-28T14:41:05+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
atmacen comments on "NuPRL" (87084)https://nforum.ncatlab.org/discussion/9974/?Focus=87084#Comment_870842020-10-10T17:28:56+00:002024-03-28T14:41:05+00:00atmacenhttps://nforum.ncatlab.org/account/1775/
Updated the name of CompLF (was “CLF”) in link here.
diff, v11, current
Updated the name of CompLF (was “CLF”) in link here.
]]>
atmacen comments on "NuPRL" (78254)https://nforum.ncatlab.org/discussion/9974/?Focus=78254#Comment_782542019-05-21T16:15:15+00:002024-03-28T14:41:05+00:00atmacenhttps://nforum.ncatlab.org/account/1775/
Isabelle/CTT may also be a descendant, but I’m not sure.
Isabelle/CTT may also be a descendant, but I’m not sure.
]]>
atmacen comments on "NuPRL" (78251)https://nforum.ncatlab.org/discussion/9974/?Focus=78251#Comment_782512019-05-21T15:57:28+00:002024-03-28T14:41:05+00:00atmacenhttps://nforum.ncatlab.org/account/1775/
Adding MetaPRL, RedPRL, and proto CLF as “descendants” of Nuprl.
diff, v9, current
Adding MetaPRL, RedPRL, and proto CLF as “descendants” of Nuprl.