martinlackner / abcvoting
Python implementations of approval-based committee (multi-winner) voting rules
☆36Updated 2 months ago
Alternatives and similar repositories for abcvoting
Users that are interested in abcvoting are comparing it to the libraries listed below
Sorting:
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- LaTeX package for automatically putting proof environments in appendix☆26Updated last year
- A Python implementation of common apportionment methods☆18Updated 3 years ago
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆16Updated this week
- ☆9Updated last year
- Python tools for working with Manifold Markets☆34Updated 7 months ago
- Convex optimization modeling in Lean 4☆46Updated 11 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆46Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated 2 weeks ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- Lean 4 tutorial files☆35Updated last year
- A benchmark library for constraints☆93Updated 7 months ago
- ☆17Updated 2 years ago
- ☆21Updated 2 weeks ago
- Library for graphical models of decision making, based on pgmpy and networkx☆106Updated last year
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Linter component for Isabelle.☆18Updated 2 weeks ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆33Updated last week
- A client for Isabelle server (https://isabelle.in.tum.de)☆11Updated this week
- Fermat's Last Theorem for regular primes☆58Updated this week
- ☆15Updated last year
- Tools based on AI for helping with Lean 4☆85Updated last week
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆15Updated last week
- A Lean 4 Jupyter kernel via repl☆26Updated 5 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Another attempt for visualizing proofs☆12Updated 5 months ago
- Crate for reading TPTP files.☆14Updated 3 years ago
- ☆37Updated 6 months ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago