Alternatives and similar repositories for abcvoting

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

• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆28Updated last month
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆57Updated 3 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆64Updated 7 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆27Updated 10 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆54Updated last year
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆38Updated 2 months ago
• tias / constraint-solving-course
  An open-source course on constraint solving
  ☆24Updated 2 months ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated 2 weeks ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆241Updated last week
• csplib / csplib
  A benchmark library for constraints
  ☆97Updated last month
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆119Updated last week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 4 months ago
• riccardobrasca / flt3
  Proof in Lean of Fermat Last Theorem for exponent 3
  ☆40Updated last year
• ilaspltd / ILASP-releases
  ☆37Updated 10 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆423Updated this week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated last week
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 6 months ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆73Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 10 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆64Updated 3 weeks ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆411Updated 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
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆188Updated 3 weeks ago
• cpitclaudel / academic-poster-template
  An HTML+CSS template for making more accessible posters
  ☆90Updated 3 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆206Updated last year
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated last year