跳到主要内容
buildradar
登录

lecopivo/SciLean

@lecopivo

Lean 4 中的科学计算。

星数
528
Fork 数
43
语言
Lean
许可
Apache-2.0
最后推送
7个月前
Leannumerical-methodsscientific-computinglean4symbolic-computation

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。