Alternatives and similar repositories for qepcad:

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

• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆61Updated last year
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆22Updated 6 months ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆32Updated 6 years ago
• cmu-phil / Spectral
  ☆45Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆23Updated 2 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆76Updated 4 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated last week
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆82Updated 3 years ago
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆14Updated 3 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆51Updated last year
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆60Updated 6 months ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆49Updated last month
• kovach / etch
  ☆17Updated 7 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated last month
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆17Updated 4 years ago
• dselsam / tc
  Reference type checker for the Lean theorem prover
  ☆13Updated 6 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 3 years ago
• validsdp / validsdp
  A Coq tactic for proving multivariate inequalities using SDP solvers
  ☆10Updated this week
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated this week
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆29Updated 2 weeks ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆31Updated last week
• koengit / intuit
  An automated theorem prover for intuitionistic propostional logic
  ☆12Updated 4 years ago
• MizarProject / system
  ☆36Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 7 months ago
• uds-psl / coq-library-complexity
  ☆28Updated last year