dc-mak/NumLin

NumLin: Linear Types for Linear Algebra

语言：TeX · GitHub 星标：23 · Fork：4

话题：linear-algebra · linear-types · ocaml · owl

在 GitHub 上查看原仓库