lecopivo/SciLean
@lecopivoLean 4 における科学技術計算
スター
527
フォーク
43
言語
Lean
ライセンス
Apache-2.0
最終プッシュ
7 か月前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
Lean 4 における科学技術計算
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。