SciLean
#Fleeting_Notes
SciLean
Leanの科学計算ライブラリ
GitHub:
lecopivo/SciLean: Scientific computing in Lean 4
確認用
Q. SciLean
調査用
Google.icon
SciLean(日)
Google.icon
Scilean(英)
Wikipedia.icon
SciLean - Wikipedia(日)
SciLean(検索) - Wikipedia(日)
Wikipedia.icon
Scilean - Wikipedia(英)
Scilean(検索) - Wikipedia(英)