Alternatives and similar repositories for Skeptik:

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

• gapt / gapt
  GAPT: General Architecture for Proof Theory
  ☆96Updated 2 months ago
• HoTT / HoTT-2019
  Conference on Homotopy Type Theory 2019
  ☆15Updated 5 years ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆77Updated 4 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆61Updated 7 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated 7 years ago
• frelindb / agsyHOL
  ☆22Updated 8 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 3 months ago
• epfl-lara / SystemFR
  System FR: Formalized Foundations for Stainless
  ☆9Updated 3 years ago
• Saizan / parametric-demo
  ☆12Updated 5 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 2 months ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆49Updated last year
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆30Updated last month
• rpeszek / notes-milewski-ctfp-hs
  Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski
  ☆34Updated 5 years ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆21Updated 10 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆90Updated 7 years ago
• gebner / trepplein
  Lean type-checker written in Scala.
  ☆34Updated 2 years ago
• ybertot / plugin_tutorials
  A collection of small projects to illustrate how to write plugins for Coq
  ☆21Updated 6 years ago
• leanprover / tutorial
  Lean Tutorials
  ☆44Updated 4 years ago
• HoTT / HoTT-2023
  Conference on Homotopy Type Theory 2023
  ☆13Updated last year
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated last week
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• unicoq / unicoq
  An enhanced unification algorithm for Coq
  ☆53Updated last week
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆39Updated 2 years ago
• pi8027 / lambda-calculus
  A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
  ☆78Updated 4 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• JetBrains / arend-lib
  ☆80Updated this week
• plclub / metalib
  The Penn Locally Nameless Metatheory Library
  ☆74Updated 7 months ago
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago