Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: rust  ai  github.com  health  psychology  china  go  show  theguardian.com  linux  video  theregister.com  google  brain  media  release  nature.com  openai  environment  psypost.org 

Conway's law

2 months ago ncatlab.org distributed formalmethods math

Total Functional Programming (2004) [pdf]

9 months ago ncatlab.org pdf

nLab

3 years ago ncatlab.org

generalized the

3 years ago ncatlab.org

Catabase: a database of categories

3 years ago nforum.ncatlab.org database

Too simple to be simple

3 years ago ncatlab.org

Centipede mathematics

4 years ago ncatlab.org

Modal homotopy type theory: The prospect of a new logic for philosophy [PDF of slides; 81p]

4 years ago ncatlab.org pdf

Globular is a web-based proof assistant for finitely-presented semistrict globular higher categories.

8 years ago ncatlab.org

Relation Between Type Theory, Category Theory and Logic

9 years ago ncatlab.org

A concise introduction to category theory

9 years ago ncatlab.org