Alternatives and similar repositories for functor-network

Users that are interested in functor-network are comparing it to the libraries listed below

• b-mehta / unit-fractions
  ☆15Updated last year
• ncatlab / nlab
  Source code for the nLab
  ☆177Updated 3 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• neugierde / cantors-attic
  Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…
  ☆31Updated last year
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆144Updated 3 weeks ago
• b-mehta / topos
  Topos theory in lean
  ☆61Updated 4 years ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆220Updated last month
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• diracdeltafunk / SmallCategories
  A database of small finite categories
  ☆14Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last week
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆72Updated 4 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆86Updated last month
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆95Updated last week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• haruhisa-enomoto / mathlib4-all-tactics
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆42Updated last year
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆28Updated this week
• leanprover / reference-manual
  The Lean reference manual
  ☆68Updated this week
• leanprover-community / tutorials4
  Lean 4 tutorial files
  ☆39Updated 3 weeks ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆97Updated 3 weeks ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• thosgood / translations
  some maths papers in English
  ☆18Updated last week
• WayneLin92 / SSeqCpp
  This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…
  ☆8Updated 3 months ago
• Naproche-SAD / Naproche-SAD
  ☆21Updated 4 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆191Updated this week
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated last week
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆61Updated this week