Alternatives and similar repositories for lacan-racket:

Users that are interested in lacan-racket are comparing it to the libraries listed below

• ToposInstitute / poly
  ☆114Updated 7 months ago
• gjoncas / Lacan-Mathemes
  Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis
  ☆36Updated 3 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆22Updated 3 years ago
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated 11 months ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆26Updated 3 years ago
• benediktahrens / CT4P
  ☆34Updated 3 months ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• conal / Collaboration
  Play/learn/work with me
  ☆98Updated 6 months ago
• choukh / CategoryTheory
  A Coq formalization of the textbook Categories and Toposes: Visualized and Explained
  ☆19Updated 2 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆123Updated 11 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆48Updated 4 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 4 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆79Updated this week
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated last month
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆31Updated 2 months ago
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆55Updated this week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆89Updated 5 months ago
• dylnb / esslli2015-monads
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆25Updated 9 years ago
• ayberkt / formal-topology-in-UF
  Formal Topology in Univalent Foundations (WIP).
  ☆35Updated 2 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• ImperialCollegeLondon / M1P1-lean
  Material from M1P1, formalised in Lean
  ☆15Updated 5 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• walkie / Hagl
  A Haskell DSEL for experimental game theory.
  ☆36Updated 2 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 8 years ago
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆23Updated 2 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆75Updated 2 years ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆164Updated 2 weeks ago