Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for probability coq
coq
x
probability
x
5 search results found
Ceramist
⭐
122
Verified hash-based AMQ structures in Coq
Infotheo
⭐
60
A Coq formalization of information theory and linear error-correcting codes
Coq Proba
⭐
48
A Probability Theory Library for the Coq Theorem Prover
Topology
⭐
28
Formal topology (and some probability) in Coq
Alea
⭐
19
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
Related Searches
Python Probability (1,217)
Javascript Probability (562)
Jupyter Notebook Probability (561)
Statistics Probability (519)
Ocaml Coq (164)
Types Coq (81)
Haskell Coq (63)
Definition Coq (53)
Calculus Coq (50)
Coq Mathcomp (38)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.