Alternatives and similar repositories for lacan-racket

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

• gjoncas / Lacan-Mathemes
  Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis
  ☆36Updated 3 years ago
• ToposInstitute / poly
  ☆114Updated 10 months ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆125Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆44Updated 11 months ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester.
  ☆82Updated last week
• conal / Collaboration
  Play/learn/work with me
  ☆105Updated last week
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 7 months ago
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆25Updated last year
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated 8 months ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated 3 months ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆123Updated 3 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆78Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆190Updated this week
• sinhp / ProofLab
  ☆9Updated 2 years ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆132Updated 2 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated this week
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated 2 weeks ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆62Updated 9 months ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆28Updated 3 years ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆47Updated 3 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 11 months ago
• UniMath / Schools
  ☆84Updated 3 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year