Alternatives and similar repositories for zot

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

• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• webyrd / tree-automata
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Updated 2 years ago
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆17Updated 3 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆32Updated 5 months ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆20Updated 3 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆35Updated 8 months ago
• GeorgOfenbeck / SpaceTime
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Updated 8 years ago
• SRI-CSL / PVS
  The People's Verification System
  ☆162Updated this week
• JUrban / MPTP2
  ☆19Updated 8 years ago
• cesaro / cunf
  A model checker for safe Petri nets based on partial-order semantics
  ☆13Updated 4 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last month
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆20Updated 13 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆38Updated 2 years ago
• alhassy / CoqCheatSheet
  Reference sheet for the Coq language.
  ☆15Updated 5 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆38Updated 3 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• AdaCore / why3
  SPARK 2014 repository for the Why3 verification platform.
  ☆33Updated 3 weeks ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• bakerjd99 / jod
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Updated 6 months ago
• Ravenbrook / mlworks
  MLWorks is a Standard ML compiler and development environment.
  ☆181Updated 7 years ago
• Pascal-J / type-system-j
  adds an optional type system to J language
  ☆21Updated 9 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 7 years ago
• uwplse / memsynth
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Updated 3 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 8 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• takikawa / wasm-redex
  WebAssembly model in Redex
  ☆16Updated 6 years ago