plt-amy/1lab

This is stars and forks stats for /plt-amy/1lab repository. As of 27 Apr, 2024 this repository has 250 stars and 45 forks.

1Lab A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory. Unlike the HoTT book, the 1lab is not a “linear” resource: Concepts are presented as a directed graph, with links indicating dependencies. Building Building the 1Lab is a rather complicated task, which has led to a lot of homebrew infrastructure being developed for it. We build against a specific build of Agda (see the rev field in support/nix/dep/Agda/github.json), and there are also quite a few external...