Alternatives and similar repositories for Jove:

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

• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated this week
• asolarlez / sketch-frontend
  ☆36Updated last month
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆41Updated 3 years ago
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆41Updated 3 years ago
• 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
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆80Updated 2 months ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆119Updated 2 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆120Updated last year
• motib / LearnSAT
  SAT solver for education
  ☆26Updated 2 years ago
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆24Updated 10 months ago
• IPDSnelting / tba-2022
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition
  ☆19Updated 2 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆52Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated last week
• asolarlez / sketch-backend
  ☆42Updated 7 months ago
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆115Updated this week
• mit-frap / spring21
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021
  ☆18Updated 3 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 2 weeks ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated last year
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆164Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆149Updated 3 weeks ago
• usi-verification-and-security / opensmt
  The opensmt solver
  ☆83Updated 2 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• dominique-unruh / scala-isabelle
  A Scala library for controlling/interacting with Isabelle
  ☆40Updated this week
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated 3 months ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆141Updated 6 months ago