Alternatives and similar repositories for fintel-heim-intensional-notes

Users that are interested in fintel-heim-intensional-notes are comparing it to the libraries listed below

• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆23Updated 2 months ago
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• semprag / biblatex-unified
  An opinionated biblatex implementation of the Unified Stylesheet for Linguistics Journals
  ☆42Updated 5 months ago
• dylnb / esslli2015-monads
  materials for ESSLLI 2015 course: Monads and Natural Language
  ☆26Updated 9 years ago
• Naproche-SAD / Naproche-SAD
  ☆21Updated 4 years ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆79Updated 3 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆27Updated 2 months ago
• nyusemantics / LambdaCalculatorPublic
  ☆16Updated 2 years ago
• iwilare / church-rosser
  A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…
  ☆28Updated 2 years ago
• schar / TDParse
  Type-driven syntactic and semantic effectful parsing for NL
  ☆15Updated last month
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated 3 weeks ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆30Updated 11 months ago
• alhassy / org-agda-mode
  An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
  ☆19Updated 3 years ago
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 4 years ago
• paulaneeley / modal
  ☆14Updated 4 years ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆20Updated 2 years ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆74Updated 4 months ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• ayberkt / grammar-inference
  Learning rigid grammars in Haskell.
  ☆24Updated 7 years ago
• tomdjong / MGS-categorical-realizability
  Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…
  ☆19Updated last week
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• FFaissole / Valuations
  Synthetic Topology in Homotopy Type Theory for probabilstic programming
  ☆12Updated 7 years ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated last month
• Conair94 / ModelTheoryWiki
  Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…
  ☆16Updated last month
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆33Updated 5 months ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated 4 months ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆36Updated 4 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago