Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for docker coq action
docker-coq-action
x
18 search results found
Pg
⭐
461
This repo is the new home of Proof General
Coq Art
⭐
95
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Coq Dpdgraph
⭐
83
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Hydra Battles
⭐
55
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Paramcoq
⭐
44
Coq plugin for parametricity [maintainer=@proux01]
Reglang
⭐
37
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Chapar
⭐
32
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Aac Tactics
⭐
29
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Graph Theory
⭐
28
Graph Theory [maintainers=@chdoc,@damien-pous]
Goedel
⭐
24
The Gödel-Rosser 1st incompleteness theorem in Coq [maintainer=@Casteran]
Gaia
⭐
24
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Bignums
⭐
22
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
Huffman
⭐
14
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
Docker Coq Action
⭐
12
GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Qarith Stern Brocot
⭐
12
Binary rational numbers in Coq [maintainer=@herbelin]
Regexp Brzozowski
⭐
12
Coq formalization of decision procedures for regular expression equivalence [maintainer=@anton-trunov]
Buchberger
⭐
8
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
Coq Mmaps
⭐
7
Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
Related Searches
Mathcomp Docker Coq Action (3)
Ssreflect Docker Coq Action (3)
Ocaml Docker Coq Action (3)
Algorithms Docker Coq Action (3)
1-18 of 18 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.