Alternatives and similar repositories for lambda-notebook

Users that are interested in lambda-notebook are comparing it to the libraries listed below

• fintelkai / fintel-heim-intensional-notes
  Lecture notes on intensional semantics by Kai von Fintel and Irene Heim
  ☆46Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 weeks ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆145Updated last week
• UniFormal / MMT
  The MMT Language and System
  ☆77Updated 2 months ago
• vvulpes0 / Language-Toolkit-2
  A set of tools for analyzing languages via logic and automata
  ☆24Updated 3 months ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated last week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• formalabstracts / CNL-CIC
  A controlled natural language for calculus of inductive constructions, based on Forthel.
  ☆14Updated 4 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 6 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆77Updated 5 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 5 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• GrammaticalFramework / gf-contrib
  Community contributions to the Grammatical Framework
  ☆62Updated last year
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• meta-logic / lltp
  TPTP linear logic version
  ☆15Updated 9 months ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 4 months ago
• kkalouli / GKR_semantic_parser
  The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph
  ☆13Updated 3 years ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆43Updated last year
• dwhalen / holophrasm
  Holophrasm: a neural Automated Theorem Prover for higher-order logic
  ☆56Updated 5 years ago
• sinhp / ProofLab
  ☆10Updated 2 years ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆136Updated last year
• UCSD-PL / proverbot9001
  ☆43Updated this week
• delph-in / pydmrs
  A library for manipulating DMRS structures
  ☆14Updated 4 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆18Updated 5 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month
• epstabler / mgtdb
  MG top-down beam parsing
  ☆13Updated 7 years ago
• Attempto / ACE-in-GF
  Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)
  ☆60Updated 4 years ago