Alternatives and similar repositories for qepcad

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

• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 11 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated 3 weeks ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆31Updated last week
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated 2 months ago
• koengit / intuit
  An automated theorem prover for intuitionistic propostional logic
  ☆12Updated 4 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 4 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• liffiton / minicard
  MiniCard: An efficient cardinality solver based on MiniSAT
  ☆17Updated this week
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆62Updated 2 weeks ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆31Updated 3 months ago
• kovach / etch
  ☆17Updated last year
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 2 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• uds-psl / coq-library-complexity
  ☆31Updated last year
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆61Updated 7 months ago
• leanprover / KLR
  A formalization of ML kernel languages
  ☆18Updated this week
• Mtac2 / Mtac2
  ☆55Updated 2 months ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆35Updated 3 weeks ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated 2 months ago
• ths-rwth / smtrat
  ☆55Updated 3 weeks ago
• cyclist-org / cyclist
  A cyclic theorem prover framework.
  ☆32Updated 2 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• leanprover / SHerLOC
  A StableHLO analyzer in Lean
  ☆17Updated last week