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
  ☆65Updated 2 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 10 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• VERIMAG-Polyhedra / VPL
  Verimag Polyhedra Library
  ☆18Updated last month
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• koengit / intuit
  An automated theorem prover for intuitionistic propostional logic
  ☆12Updated 4 years ago
• Mtac2 / Mtac2
  ☆55Updated last month
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 2 weeks ago
• cmu-phil / Spectral
  ☆46Updated last year
• paulaneeley / modal
  ☆14Updated 4 years ago
• rocq-community / coqeal
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆70Updated last week
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆23Updated 2 years ago
• math-comp / tutorial_material
  proof script associated to tutorial material
  ☆17Updated last year
• jonsterling / agda-calf
  A cost-aware logical framework, embedded in Agda.
  ☆61Updated this week
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• rocq-community / topology
  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
  ☆48Updated 6 months ago
• alexander-nadel / intel_sat_solver
  This repository contains the code of Intel(R) SAT Solver (IntelSAT)
  ☆28Updated last month
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• rocq-community / alea
  Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
  ☆25Updated 3 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• tip-org / benchmarks
  Tons of Inductive Problems: The Benchmarks
  ☆26Updated last year
• rocq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆75Updated 3 months ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆42Updated 3 weeks ago
• thery / grobner
  A fornalisation of Grobner basis in ssreflect
  ☆12Updated 4 months ago
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Updated 2 years ago