Repositories list

• compth03-graduate

  Public
  TeX

  •0•0•0•0•Updated Jan 27, 2025Jan 27, 2025

• compth03-undergrad

  Public
  Material for an undergrad Theory of Computation course

  TeX

  •0•0•0•0•Updated Jan 27, 2025Jan 27, 2025

• cat03

  Public
  Material for a Category Theory course

  TeX

  •0•0•0•0•Updated Jan 18, 2025Jan 18, 2025

• the-logic-book

  Public
  Lecture notes for multiple courses in Mathematical Logics, in Farsi

  TeX

  •1•0•0•1•Updated Dec 20, 2024Dec 20, 2024

• funcalgeo

  Public
  Functorial Algebraic Geometry - Lecture Notes

  TeX

  •0•0•0•0•Updated Oct 24, 2024Oct 24, 2024

• undergrad-logic-questions

  Public
  A set of questions for an undergraduate course in logic

  TeX

  •0•0•1•0•Updated Jun 30, 2024Jun 30, 2024

• cat-exc

  Public
  TeX

  •1•1•0•0•Updated Jun 25, 2021Jun 25, 2021