hyperpolymath/Hyperpolymath.jl

A convenience metapackage for installing and loading the broader Hyperpolymath Julia research-library family; use individual packages when you only need selected tools.

语言：Julia · GitHub 星标：3 · Fork：0

话题：computational-science · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · formal-verification · hyperpolymath · julia · julia-package

在 GitHub 上查看原仓库