cocoa-official / CoCoALibLinks
☆17Updated last week
Alternatives and similar repositories for CoCoALib
Users that are interested in CoCoALib are comparing it to the libraries listed below
Sorting:
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆81Updated last year
- Nightly builds☆23Updated this week
- The GAP package Semigroups☆29Updated this week
- Mathematical Components compliant Analysis Library☆235Updated last week
- Type-checker for the λΠ-calculus modulo rewriting☆225Updated 2 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Updated last year
- Effective Algebraic Topology in Haskell☆91Updated last year
- GAP package for quivers and path algebras☆33Updated 2 weeks ago
- A formalization of geometry in Coq based on Tarski's axiom system☆205Updated 2 months ago
- This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).☆44Updated last week
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Updated 4 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆128Updated last month
- Python bindings for the Coq interactive proof assistant☆57Updated 4 years ago
- Lecture notes on realizability☆75Updated 11 months ago
- A formally verified implementation of differential dynamic logic in Coq☆18Updated 3 years ago
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆51Updated last year
- Formalizing convex polyhedra in Coq☆24Updated last year
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- A custom parser/auto-formatter for Standard ML☆87Updated last month
- A function definition package for Coq☆236Updated last week
- A Verified Compiler for Gallina, Written in Gallina☆158Updated this week
- Metamath program - source code for the Metamath executable☆94Updated 2 months ago
- C++ library for semigroups and monoids☆64Updated this week
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Updated 3 months ago
- metamath proof enumerators and other things☆93Updated 2 months ago
- A (formalised) general definition of type theories☆59Updated 4 years ago
- High level commands to declare a hierarchy based on packed classes☆104Updated 2 weeks ago
- Implementation of higher-order logic in Python☆67Updated 2 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆127Updated 11 months ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆25Updated 4 years ago