Alternatives and similar repositories for sheetshow

Users that are interested in sheetshow are comparing it to the libraries listed below

• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆22Updated 4 months ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated 2 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• pa-ba / equivalence
  ☆13Updated last week
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆40Updated 4 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 6 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• koko-m / GoI-Visualiser
  A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.
  ☆13Updated 3 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 4 months ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆17Updated last year
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆28Updated last year
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆28Updated 2 months ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆32Updated 5 years ago
• damien-pous / relation-algebra
  Relation algebra library for Coq
  ☆49Updated 5 months ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆55Updated last week
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 5 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆17Updated 2 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆34Updated 7 years ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• nadia-polikarpova / synquid
  ☆136Updated 3 years ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆23Updated last year
• conal / felix
  Agda category theory library for denotational design
  ☆52Updated 3 weeks ago
• JacquesCarette / TheoriesAndDataStructures
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Updated last year
• jtkristensen / Jeopardy
  The official interpreter for the Jeopardy language
  ☆16Updated 2 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• rocq-community / lemma-overloading
  Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
  ☆28Updated 5 months ago
• rocq-community / semantics
  A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…
  ☆53Updated last month
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆114Updated 5 years ago