Alternatives and similar repositories for Lens_Resources

Users that are interested in Lens_Resources are comparing it to the libraries listed below

• DavidJaz / DynamicalSystemsBook
  ☆47Updated last year
• mattecapu / categorical-systems-theory
  ☆40Updated last month
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• mattecapu / awesome-double-categories
  A list of works and resources about double category theory, with a particular focus on applications.
  ☆30Updated 2 years ago
• ToposInstitute / poly
  ☆114Updated 10 months ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated last year
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆26Updated 4 months ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆63Updated 7 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 8 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• dignissimus / Untangle
  Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
  ☆26Updated 11 months ago
• b-mehta / topos
  Topos theory in lean
  ☆60Updated 4 years ago
• blanchette / logical_verification_2021
  ☆25Updated 3 years ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆115Updated 7 months ago
• siddhartha-gadgil / Saturn
  Experiments with SAT solvers with proofs in Lean 4
  ☆57Updated 11 months ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆78Updated last year
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆52Updated last month
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆53Updated last month
• madvorak / read-lean
  How to read Lean
  ☆17Updated 4 months ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• rzrn / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆61Updated this week
• DSLsofMath / FPClimate
  PhD course on Functional Programming and Climate Impact Research
  ☆50Updated 6 months ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆28Updated 3 years ago
• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆21Updated last month
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆24Updated last week
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆49Updated 8 months ago