iblech/garben-und-logik

Notes for a one-semester course on sheaves and logic (in German)

GitLab repository with 6 stars and 2 forks.

Language: TeX

Open provider repository

Latest metric snapshot

2026-06-15: 6 stars and 2 forks.

Similar repositories

  1. 1. jim.hefferon/linear-algebra

    Linear Algebra is a Free undergraduate text. It covers the standard material of a course for US sophomores: Gaussian reduction, vector spaces, linear maps, determinants, and eigenvalues.

    GitLab repository with 117 stars and 40 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: TeX

  2. 2. pjotrp/guix-notes

    Notes on Guix

    GitLab repository with 64 stars and 14 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: TeX

Trending in TeX

  1. 1. jim.hefferon/linear-algebra

    Linear Algebra is a Free undergraduate text. It covers the standard material of a course for US sophomores: Gaussian reduction, vector spaces, linear maps, determinants, and eigenvalues.

    GitLab repository with 117 stars and 40 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: TeX

  2. 2. pjotrp/guix-notes

    Notes on Guix

    GitLab repository with 64 stars and 14 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: TeX