cocoa-official / CoCoALibLinks
☆14Updated 3 weeks ago
Alternatives and similar repositories for CoCoALib
Users that are interested in CoCoALib are comparing it to the libraries listed below
Sorting:
- GAP package for quivers and path algebras☆33Updated last week
 - LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 1990's☆14Updated 2 months ago
 - Metamath program - source code for the Metamath executable☆88Updated 3 months ago
 - C++ library for semigroups and monoids☆62Updated last week
 - Deposited packages of the homalg project☆16Updated last month
 - ☆154Updated 2 weeks ago
 - CAP project -- Categories, Algorithms, and Programming☆36Updated last month
 - The GAP package Semigroups☆27Updated last week
 - Effective Algebraic Topology in Haskell☆90Updated last year
 - Algebraic Combinatorics in Coq☆39Updated 3 weeks ago
 - An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆37Updated last year
 - Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 9 months ago
 - A formally verified implementation of differential dynamic logic in Coq☆18Updated 3 years ago
 - 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
 - Nightly builds☆23Updated this week
 - Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last month
 - mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
 - The MMT Language and System☆76Updated last month
 - Mirror of Epigram 2, by Conor McBride, et al.☆55Updated 5 years ago
 - Reason about Term Rewriting Systems☆18Updated 3 years ago
 - ☆35Updated 3 weeks ago
 - Pedagogical first-order prover in Python☆76Updated 4 months ago
 - Implementation of higher-order logic in Python☆65Updated 2 years ago
 - An automatic theorem prover for first order logic with equality☆31Updated 5 years ago
 - ☆59Updated 11 years ago
 - Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated last week
 - Topology library for Coq☆12Updated 9 years ago
 - Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated last month
 - Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
 - NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 2 years ago