Alternatives and similar repositories for CoCoALib

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

• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆33Updated last week
• FredMesnard / lptp
  LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's
  ☆14Updated 2 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆88Updated 3 months ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated last week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• eprover / eprover
  ☆154Updated 2 weeks ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆36Updated last month
• semigroups / Semigroups
  The GAP package Semigroups
  ☆27Updated last week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆90Updated last year
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆39Updated 3 weeks ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆37Updated last year
• rocq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆80Updated 9 months ago
• LS-Lab / Coq-dL
  A formally verified implementation of differential dynamic logic in Coq
  ☆18Updated 3 years ago
• smlnj / legacy
  This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆43Updated 3 weeks ago
• leanprover / lean4-nightly
  Nightly builds
  ☆23Updated this week
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last month
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆55Updated 5 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• benediktahrens / CT4P
  ☆35Updated 3 weeks ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 4 months ago
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• gilith / metis
  An automatic theorem prover for first order logic with equality
  ☆31Updated 5 years ago
• brownplt / lambda-py
  ☆59Updated 11 years ago
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆25Updated last week
• dschepler / coq-topology
  Topology library for Coq
  ☆12Updated 9 years ago
• rocq-community / corn
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Updated last month
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 4 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago