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