HypothesisTests.jl
Hypothesis tests for Julia
Julia299mit
2 months ago
hacktoberfesthypothesis-testingjulia
LibHyps
A Coq library providing tactics to deal with hypothesis
Coq20mit
11 months ago
coqformal-proofshypothesis
Hypothesis tests for Julia
Julia299mit
2 months ago
hacktoberfesthypothesis-testingjulia
A Coq library providing tactics to deal with hypothesis
Coq20mit
11 months ago
coqformal-proofshypothesis