cocoa-official / CoCoALibLinks
☆11Updated this week
Alternatives and similar repositories for CoCoALib
Users that are interested in CoCoALib are comparing it to the libraries listed below
Sorting:
- C++ library for semigroups and monoids☆47Updated this week
- Deposited packages of the homalg project☆15Updated last month
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- Algebraic Combinatorics in Coq☆38Updated 5 months ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆16Updated 3 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆24Updated 5 months ago
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 4 months ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Embedded algebraic number fields☆13Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 2 weeks ago
- Relation algebra library for Coq☆48Updated 2 months ago
- Successor to PolyBoRi☆20Updated last month
- αProlog☆18Updated last year
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- HoTT in Lean 3☆80Updated 4 years ago
- A formally verified implementation of differential dynamic logic in Coq☆17Updated 3 years ago
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago
- An equational theorem prover based on Knuth-Bendix completion☆52Updated 2 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- ☆56Updated 2 months ago
- Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021☆47Updated 3 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/☆29Updated last month
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Updated 6 months ago
- A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)☆23Updated 3 months ago
- Schemes in Lean (v2)☆43Updated 4 years ago