willkurt / lacan-racketLinks
An implementation of some of Jacques Lacan's notes on the Purloined Letter in Racket
β11Updated 2 years ago
Alternatives and similar repositories for lacan-racket
Users that are interested in lacan-racket are comparing it to the libraries listed below
Sorting:
- TiπZ diagrams of mathemes from Lacanian psychoanalysisβ37Updated 4 years ago
- β115Updated 11 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyllβ57Updated 5 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.β25Updated 3 years ago
- LaTeX code for a paper on lean's type theoryβ137Updated 2 years ago
- β34Updated 7 months ago
- More stable versions of some articles from my blogβ29Updated 2 months ago
- Book about using Lean with How To Prove Itβ19Updated 2 weeks ago
- Mirror of ocaml-foresterβ45Updated last year
- Formalizing linear algebra in Agda by representing matrices as functionsβ26Updated last year
- A Lean4 Formalization of Polynomial Functorsβ21Updated 2 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTTβ128Updated last year
- Accelerated machine learning with dependent typesβ95Updated 3 weeks ago
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Toposβ61Updated this week
- β16Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific researchβ59Updated 8 months ago
- A Coq formalization of the textbook Categories and Toposes: Visualized and Explainedβ20Updated 2 years ago
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)β¦β46Updated last year
- Haskell implementation of open gamesβ168Updated 4 months ago
- Categorical Logic Notesβ78Updated 3 years ago
- Logic and Mechanized Reasoningβ105Updated 4 months ago
- Very controlled natural language tactics for Leanβ64Updated last year
- Play/learn/work with meβ106Updated last month
- Effective Algebraic Topology in Haskellβ91Updated 9 months ago
- The Iowa Agda Libraryβ48Updated last week
- β16Updated last year
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to absβ¦β51Updated 3 years ago
- A WIP definitional (co)datatype package for Lean4β38Updated 6 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2024β62Updated 10 months ago
- Topos theory in leanβ61Updated 4 years ago