Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

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

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