Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Coq Mathcomp Ssreflect Open Source Projects

Open source projects categorized as Coq Mathcomp Ssreflect
Categories > Mathcomp
Categories > Ssreflect
Math Comp ⭐ 528
Mathematical Components
total releases 1most recent commit 3 months ago
Analysis ⭐ 174
Mathematical Components compliant Analysis Library
most recent commit 3 months ago
Fourcolor ⭐ 147
Formal proof of the Four Color Theorem [maintainer=@ybertot]
most recent commit 6 months ago
Pnp ⭐ 107
Lecture notes for a short course on proving/programming in Coq via SSReflect.
most recent commit 3 years ago
Disel ⭐ 92
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
most recent commit a year ago
Monae ⭐ 66
Monadic effects and equational reasonig in Coq
most recent commit 3 months ago
Infotheo ⭐ 60
A Coq formalization of information theory and linear error-correcting codes
most recent commit 5 months ago
Csclub Coq Course Spring 2021 ⭐ 49
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
most recent commit a year ago
Autosubst ⭐ 48
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
most recent commit 6 months ago
Finmap ⭐ 46
Finite sets, finite maps, multisets and generic sets
most recent commit 3 months ago
Reglang ⭐ 37
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
most recent commit 3 months ago
Extructures ⭐ 29
Finite sets and maps for Coq with extensional equality
most recent commit 6 months ago
Abel ⭐ 28
A proof of Abel-Ruffini theorem.
most recent commit 6 months ago
Algebra Tactics ⭐ 28
Ring, field, lra, nra, and psatz tactics for Mathematical Components
most recent commit 3 months ago
Gaia ⭐ 24
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
most recent commit 5 months ago
Odd Order ⭐ 23
The formal proof of the Odd Order Theorem
most recent commit 5 months ago
Mczify ⭐ 22
Micromega tactics for Mathematical Components
most recent commit 3 months ago
Lemma Overloading ⭐ 22
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
most recent commit 2 years ago
Stablesort ⭐ 21
Stable sort algorithms and their stability proofs in Coq
most recent commit 6 months ago
Actuary ⭐ 21
Formalization of the basic actuarial mathematics using Coq
most recent commit 6 months ago
Bits ⭐ 21
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
most recent commit 5 months ago
Apery ⭐ 18
A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
most recent commit 6 months ago
Multinomials ⭐ 14
Multinomials for the Mathematical Components library.
most recent commit 3 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.