Alternatives and similar repositories for sheetshow

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

• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 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
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆20Updated 2 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆41Updated 2 weeks ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• punkdit / huygens
  ☆10Updated 3 weeks ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• thibautbenjamin / catt
  Coherence typechecker for infinity categories
  ☆19Updated last month
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆30Updated 4 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 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
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• peterlefanulumsdaine / palmgren-archive
  Research material of Erik Palmgren (1963–2019)
  ☆20Updated 2 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• imdea-software / fcsl-pcm
  Partial Commutative Monoids
  ☆28Updated 2 weeks ago
• kbuzzard / lean-stacks-project
  Formal verification of parts of the Stacks Project in Lean
  ☆22Updated 3 years ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆42Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆32Updated 3 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• uwplse / pumpkin-pi
  An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
  ☆49Updated this week
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated last year
• 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…
  ☆27Updated 2 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• 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 2 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• bobatkey / agda-metric-reals
  ☆29Updated 3 years ago